diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/provision | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/provision b/scripts/provision index 5a04a46..a22e424 100755 --- a/scripts/provision +++ b/scripts/provision @@ -13,7 +13,7 @@ DEPENDENCIES="mkdocs apache2 python3-pip pandoc" DEPENDENCIES="$DEPENDENCIES tor python3-requests python3-bs4 python3-socks python3-pybtex" # PyPI dependencies -DEPENDENCIES_PIP="mkdocs-bibtex mkdocs-material mkdocs-awesome-pages-plugin mkdocs-static-i18n" +DEPENDENCIES_PIP="mkdocs-bibtex mkdocs-material mkdocs-awesome-pages-plugin mkdocs-static-i18n mkdocs-redirects" # 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 |