From 651d2fa51323a825da99e95ae7d8d2f41d7cc2cb Mon Sep 17 00:00:00 2001 From: mfahampshire Date: Tue, 28 Nov 2023 09:44:30 +0100 Subject: [PATCH] fixed script --- documentation/install_mdbook_deps.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/documentation/install_mdbook_deps.sh b/documentation/install_mdbook_deps.sh index 99a22e8818..0959671b9c 100755 --- a/documentation/install_mdbook_deps.sh +++ b/documentation/install_mdbook_deps.sh @@ -70,6 +70,7 @@ main() { if test -f ~/.cargo/bin/mdbook; then printf "mdbook already installed (located at: $(which mdbook))" uninstall_mdbook_deps; + install_mdbook_deps; else printf "mdbook not installed" install_mdbook_deps;