diff --git a/.gitignore b/.gitignore index 173b951..1bd93e2 100644 --- a/.gitignore +++ b/.gitignore @@ -2,3 +2,4 @@ **/*.rs.bk Cargo.lock .vscode +**/*.html diff --git a/book/Makefile b/book/Makefile new file mode 100644 index 0000000..2fb3f9a --- /dev/null +++ b/book/Makefile @@ -0,0 +1,10 @@ +.PHONY: all +all: + find src -type f -a -name '*.md' |sed 's/[.]md$$/.html/g' |xargs $(MAKE) + +clean: + find src -type f -a -name '*.html' -print0 |xargs -0 rm + +%.html: %.md + pandoc --katex --from=markdown --to=html "$<" "--output=$@" + ./edithtml.sh "$@" "$<" diff --git a/book/edithtml.sh b/book/edithtml.sh new file mode 100755 index 0000000..4825478 --- /dev/null +++ b/book/edithtml.sh @@ -0,0 +1,28 @@ +#!/bin/sh + +cat - "$1" > "$1.prefix" < + + + + + + $2 + + + + + + +EOF +cat "$1.prefix" - >"$1" < + +EOF +rm -f "$1.prefix"