[book]
authors = ["Jérémie Astor"]
title = "Gwion"
-src = "md"
[output.html]
default-theme = "rust"
additional-css = ["custom.css"]
+git-repository-url ="https://github.com/fennecdjay/Gwion"
[output.html.fold]
enable = true
#!/bin/sh
-[ -d md ] || bash scripts/mdr2mdbook.sh
+[ -d src ] || bash scripts/mdr2mdbook.sh
-[ -f md/SUMMARY.md ] || bash scripts/summary.sh > md/SUMMARY.md
+[ -f src/SUMMARY.md ] || bash scripts/summary.sh > src/SUMMARY.md
-[ -d md/assets ] || cp -r benchmark/results md/assets
+[ -d src/assets ] || cp -r benchmark/results src/assets
mdr $1 || return
mdfile=${1::-1}
# target=$(sed 's/docs/md/' <<< $mdfile)
- target=$(echo "$mdfile" | sed 's/docs/md/')
+ target=$(echo "$mdfile" | sed 's/docs/src/')
ensure_dir $target
mk_target $mdfile > $target
rm $mdfile
if [[ "$1" == *".mdr" ]]
then doc2src "$1"
if [ "$(git status -s | grep docs)" ]
-then bash scripts/summary.sh > md/SUMMARY.md
+then bash scripts/summary.sh > src/SUMMARY.md
fi
else runall
fi
run() {
mdbook serve&
- sedi 's/^md/#md/' .gitignore
+ sedi 's/^src/#src/' .gitignore
while true
do bash scripts/watch.sh
done
clean() {
trap - SIGINT SIGTERM ERR
killall mdbook
- sedi 's/#md/md/' .gitignore
+ sedi 's/#src/src/' .gitignore
exit 1
}