# For HTML: convert diagrams from SVG to PNG
diagrams/%.png: diagrams/%.svg
- inkscape -z -f $< --export-png $@ --export-area-drawing
+ inkscape $< --export-type=png --export-filename=$@ --export-area-drawing
# For LaTeX/PDF: convert diagrams from SVG to PDF
diagrams/%.pdf: diagrams/%.svg
- inkscape -z -f $< --export-pdf $@ --export-area-drawing
+ inkscape $< --export-type=pdf --export-filename=$@ --export-area-drawing
config.xml: ../../src/lib/config.cc config.py
python3 config.py ../../src/lib/config.cc > config.xml