22 lines
576 B
Bash
Executable File
22 lines
576 B
Bash
Executable File
#!/bin/bash
|
|
|
|
set -euxo pipefail
|
|
|
|
rm -rf public/
|
|
|
|
if [ -x "$(which mdbook)" ] ; then
|
|
echo "mdBook found, running..."
|
|
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/
|
|
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' {} +
|
|
|
|
cp -R static/* public/
|