From 4e18da98f3398e1cc3b4c8f76bc8f81529baff3c Mon Sep 17 00:00:00 2001 From: Austin Hellyer Date: Mon, 7 Nov 2016 21:26:59 -0800 Subject: Add doc modification script This is a script to modify the docs in some fashion. Right now it just adds an image to the header, but it will replace a couple of other things, in a nicer fashion. --- docs.py | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 docs.py (limited to 'docs.py') diff --git a/docs.py b/docs.py new file mode 100644 index 0000000..ef00822 --- /dev/null +++ b/docs.py @@ -0,0 +1,12 @@ +import glob + +for filename in glob.glob("target/doc/serenity/**/*.html"): + print('Parsing {}'.format(filename)) + with open(filename) as f: + content = f.read() + + new_content = content.replace('