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 cf7b5d7..1b0a8af 100755 --- 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" +DEPENDENCIES_PIP="mkdocs-bibtex mkdocs-material 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 |