docs/Makefile: rules to turn our SVG images into .png and .eps forms

diff --git a/docs/Makefile b/docs/Makefile
new file mode 100644 (file)
index 0000000..c8671a5
--- /dev/null
+++ b/docs/Makefile
@@ -0,0 +1,18 @@
+
+SOURCES = CHK-hashes.svg file-encoding1.svg file-encoding2.svg file-encoding3.svg file-encoding4.svg file-encoding5.svg file-encoding6.svg subtree1.svg
+
+PNGS = $(patsubst %.svg,%.png,$(SOURCES))
+EPSS = $(patsubst %.svg,%.eps,$(SOURCES))
+
+.PHONY: images-png images-eps
+all: $(PNGS) $(EPSS)
+images-png: $(PNGS)
+images-eps: $(EPSS)
+
+%.png: %.svg
+       inkscape -b white -d 90 --export-png $@ $<
+%.eps: %.svg
+       inkscape --export-eps $@ $<
+
+clean:
+       rm -f *.png *.eps