Run mdBook better

This commit is contained in:
Stavros Korokithakis 2021-11-20 04:24:09 +02:00
parent e1128ae5d2
commit 511510ef1b
No known key found for this signature in database
GPG Key ID: 26EA345ECD4C2A63
2 changed files with 2 additions and 3 deletions

4
build
View File

@ -6,14 +6,14 @@ rm -rf public/
if [ -x "$(which mdbook)" ] ; then
echo "mdBook found, running..."
mdbook build -d public
else
echo "mdBook not found, downloading..."
wget https://github.com/rust-lang/mdBook/releases/download/v0.4.13/mdbook-v0.4.13-x86_64-unknown-linux-gnu.tar.gz -O mdbook.tgz
tar zxvf mdbook.tgz
mv mdbook /usr/local/bin/
./mdbook build -d public
fi
mdbook build -d public
# Make checkboxes editable, just in case the user wants to keep their own checklist.
find public/ -name "*.html" -type f -exec sed -i 's/input disabled=""/input/g' {} +

View File

@ -5,4 +5,3 @@ publish = "public"
command = "./build"
[build.environment]
ZOLA_VERSION = "0.12.2"