Updates docs

diff --git a/mkdocs.yml b/mkdocs.yml
index c6873f74e2cae431b3f1263b574e8e99bacd6d49..bb2f83bf37747464b60cc2cc35db47f66ed4473b 100644 (file)
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -24,6 +24,8 @@ extra_css:
 plugins:
   - search
 
+  - awesome-pages
+
   # BibTeX support using mkdocs-bibtex
   # https://pypi.org/project/mkdocs-bibtex/
   # https://github.com/shyamd/mkdocs-bibtex

diff --git a/scripts/provision b/scripts/provision
index 1b0a8af1945e7a30292b0e4353b33dc0ec3659e4..7e888c8adbcbf836340463adfb7922ea71e759e4 100755 (executable)
--- a/scripts/provision
+++ b/scripts/provision
@@ -13,7 +13,7 @@ DEPENDENCIES="mkdocs apache2 python3-pip pandoc pandoc-citeproc"
 DEPENDENCIES="$DEPENDENCIES tor python3-requests python3-bs4 python3-socks python3-pybtex python3-tqdm"
 
 # PyPI dependencies
-DEPENDENCIES_PIP="mkdocs-bibtex mkdocs-material mkdocs-static-i18n"
+DEPENDENCIES_PIP="mkdocs-bibtex mkdocs-material mkdocs-awesome-pages-plugin mkdocs-static-i18n"
 
 # Ensure an up-to-date system
 sudo apt-get update && sudo apt-get dist-upgrade -y && sudo apt-get autoremove -y && sudo apt-get clean