diff options
| -rw-r--r-- | Makefile.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.scm b/Makefile.scm index 94834f3..ba23754 100644 --- a/Makefile.scm +++ b/Makefile.scm @@ -74,6 +74,7 @@ exec chibi-scheme -A utils/ $0 $@ "--to=html" "-o" (make-path outpath "web-simple.html") "--standalone" + "--mathml" "--no-highlight" "--data-dir=." (string-append "--resource-path=" input) @@ -99,6 +100,7 @@ exec chibi-scheme -A utils/ $0 $@ "--to=html" "-o" (make-path outpath "web.html") "--standalone" + "--mathml" "--self-contained" "--base-header-level=2" ;"--shift-heading-level-by=-1" is the new way "--data-dir=." |