Figure: Makefile generates PNGs

diff --git a/doc/Makefile b/doc/Makefile
index 72c0e87813e53836488329de57e9fdf20d614e03..d4c41842d45f145c8192b885433a268ecbcc6755 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,9 +1,17 @@
 FIGS = $(wildcard *.svg)
 
-all: $(FIGS:%.svg=%.pdf)
+TARGETS = $(FIGS:%.svg=%.pdf) $(FIGS:%.svg=%.png)
+
+all: $(TARGETS)
+
+clean:
+       rm $(TARGETS)
+
+%.png: %.svg
+       inkscape --export-area-drawing --export-png=$@ $<
 
 %.ps: %.svg
-       inkscape -P $@ $<
+       inkscape --export-ps=$@ $<
 
 %-page.pdf: %.ps
        ps2pdf $< $@