aboutsummaryrefslogtreecommitdiff
path: root/docs.py
diff options
context:
space:
mode:
Diffstat (limited to 'docs.py')
-rw-r--r--docs.py12
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)