1 files changed, 0 insertions, 15 deletions

diff --git a/default.html.do b/default.html.do
deleted file mode 100644
index e900e4a..0000000
--- a/default.html.do
+++ /dev/null
@@ -1,15 +0,0 @@
-redo-ifchange $2.md build/tex-filter.hs build/template.html5
-
-CSS=/style.css
-
-pandoc -t json $2.md | build/tex-filter.hs "$(pwd)" \
-    | while read -r x; do
-                      [[ -z "${x}" ]] && continue
-          echo $x/image.svg
-                                        echo $x/image.svg >&2
-      done \
-    | xargs -d '\n' redo-ifchange
-
-pandoc -S -f markdown -t json $2.md \
-        | build/tex-filter.hs "$(pwd)" \
-        | pandoc --template=build/template.html5 --base-header-level=3 --standalone --email-obfuscation=none -f json -t html5 -c $CSS >$3 2>/dev/null