From 6eb0576c9ef9dbf4b79bd9eff50fd99a18e2fd5a Mon Sep 17 00:00:00 2001 From: serinko <97586125+serinko@users.noreply.github.com> Date: Mon, 4 Dec 2023 10:39:16 +0100 Subject: [PATCH] add cmdrun --- documentation/install_mdbook_deps.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/documentation/install_mdbook_deps.sh b/documentation/install_mdbook_deps.sh index ad9d6a47e2..37c30c8b91 100755 --- a/documentation/install_mdbook_deps.sh +++ b/documentation/install_mdbook_deps.sh @@ -9,7 +9,7 @@ set -o pipefail # pinning minor version to this: allows for updates but no breaking changes MINOR_VERSION=0.4 # if a new plugin is added to the books it needs to be added here also -declare -a plugins=("admonish" "linkcheck" "last-changed" "theme" "variables") +declare -a plugins=("admonish" "linkcheck" "last-changed" "theme" "variables" "cmdrun") # install mdbook + plugins install_mdbook_deps() {