summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index bdfcea1..69cbde3 100644
--- a/Makefile
+++ b/Makefile
@@ -27,5 +27,5 @@ frontpages: $(addsuffix /paper.svg,$(dir $(PAPERS)))
%.svg:
# pdftocairo -f 1 -l 1 -svg "$(wildcard $(dir $@)/*.pdf)" "$@"
# dvisvgm --pdf --optimize --font-format=woff2 --output=$@ "$(wildcard $(dir $@)/*.pdf)"
- dvisvgm --pdf --optimize --no-fonts --output=$@ "$(wildcard $(dir $@)/*.pdf)"
-# pdf2svg "$(wildcard $(dir $@)/*.pdf)" $@ 1
+# dvisvgm --pdf --optimize --no-fonts --output=$@ "$(wildcard $(dir $@)/*.pdf)"
+ pdf2svg "$(wildcard $(dir $@)/*.pdf)" $@ 1