diff options
Diffstat (limited to 'compile.sh')
-rw-r--r-- | compile.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compile.sh b/compile.sh index 7e48f6e..c07f80c 100644 --- a/compile.sh +++ b/compile.sh | |||
@@ -7,7 +7,7 @@ for file in src/*.txt; do # TODO: change this to work with globs & args & stuff | |||
7 | -t html5 \ | 7 | -t html5 \ |
8 | --template=_template.html \ | 8 | --template=_template.html \ |
9 | --smart \ | 9 | --smart \ |
10 | --mathjax \ | 10 | --mathml \ |
11 | $file \ | 11 | $file \ |
12 | -o "${file%.txt}.html" | 12 | -o "${file%.txt}.html" |
13 | echo " Done." | 13 | echo " Done." |