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