diff options
| -rw-r--r-- | docs.py | 12 | ||||
| -rw-r--r-- | src/lib.rs | 1 |
2 files changed, 1 insertions, 12 deletions
diff --git a/docs.py b/docs.py deleted file mode 100644 index ef00822..0000000 --- a/docs.py +++ /dev/null @@ -1,12 +0,0 @@ -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) @@ -75,6 +75,7 @@ //! [examples]: https://github.com/zeyla/serenity.rs/tree/master/examples //! [`validate_token`]: client/fn.validate_token.html #![allow(doc_markdown, inline_always, unknown_lints)] +#![doc(html_logo_url = "https://docs.austinhellyer.me/serenity.rs/docs_header.png")] #![warn(dead_code, enum_glob_use, if_not_else)] #[macro_use] |