diff options
Diffstat (limited to 'default.html.do')
| -rw-r--r-- | default.html.do | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.html.do b/default.html.do index d2b1ed2..16de1e5 100644 --- a/default.html.do +++ b/default.html.do | |||
| @@ -10,4 +10,4 @@ pandoc -t json $2.md | build/tex-filter.hs "$(pwd)" 2>&1 >/dev/null \ | |||
| 10 | 10 | ||
| 11 | pandoc -f markdown -t json $2.md \ | 11 | pandoc -f markdown -t json $2.md \ |
| 12 | | build/tex-filter.hs "$(pwd)" 2>/dev/null \ | 12 | | build/tex-filter.hs "$(pwd)" 2>/dev/null \ |
| 13 | | pandoc --template=build/template.html5 --base-header-level=3 --standalone -S -f json -t html5 -c $CSS >$3 2>/dev/null | 13 | | pandoc --template=build/template.html5 --base-header-level=3 --standalone -S --email-obfuscation=none -f json -t html5 -c $CSS >$3 2>/dev/null |