diff --git a/util/removefencedcode.py b/util/removefencedcode.py new file mode 100755 index 0000000..51c51de --- /dev/null +++ b/util/removefencedcode.py @@ -0,0 +1,13 @@ +#!/usr/bin/env python3 +# Remove fenced code blocks from generated HTML files +# We need to do this because srcweave does not support fenced code blocks + +import glob +for f in glob.glob('docs/*.html'): + with open(f, 'r') as fin: + lines = fin.readlines() + with open(f, 'w') as fout: + for line in lines: + if line.startswith('

```'): + continue + fout.write(line) \ No newline at end of file