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.

1 files changed, 12 insertions, 0 deletions

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('<nav class="sidebar">\n', '<nav class="sidebar"><img src="https://docs.austinhellyer.me/serenity.rs/docs_header.png">\n', 1)
+
+    if new_content != content:
+        with open(filename, 'w') as f:
+            f.write(new_content)