From ca5c748478c8e05ba5c29a90bfc5b53f0e036caa Mon Sep 17 00:00:00 2001 From: Kevin F Date: Thu, 8 Sep 2022 13:35:51 -0500 Subject: [PATCH] added utility to remove fenced code blocks from final html docs since srcweave is a pain in that regard --- util/removefencedcode.py | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100755 util/removefencedcode.py 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