Make sure inkscape generate 300 dpi images.

diff --git a/Makefile b/Makefile
index 68b3e68141eea6e5c71869478861ad0f1242da33..4775fc21b91475ada38ad2395f5fe13a1102f7fe 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -83,7 +83,7 @@ html: freeculture.nb.html freeculture.html
        echo "Using $$pipeline pipeline" ; \
        case "$$pipeline" in  \
        dblatex) \
        echo "Using $$pipeline pipeline" ; \
        case "$$pipeline" in  \
        dblatex) \

-         $(DBLATEX) $< ; \
+         PATH=$(PWD)/bin:$$PATH $(DBLATEX) $< ; \

          ;; \
        xmlto) \
          xmlto --noautosize \
          ;; \
        xmlto) \
          xmlto --noautosize \

diff --git a/bin/inkscape b/bin/inkscape
new file mode 100755 (executable)
index 0000000..ab13ab6
--- /dev/null
+++ b/bin/inkscape
@@ -0,0 +1,3 @@
+#!/bin/sh
+# Workaround for <URL: https://bugs.debian.org/794066 >
+exec /usr/bin/inkscape --export-dpi=300 "$@"