diff options
Diffstat (limited to 'grafik')
| -rw-r--r-- | grafik/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/grafik/Makefile b/grafik/Makefile index 9785628..e1efc4a 100644 --- a/grafik/Makefile +++ b/grafik/Makefile @@ -1,4 +1,4 @@ -SVGFILES=${wildcard *.svg} ${wildcard */*.svg} ${wildcard */*/*.svg} +SVGFILES=${wildcard *.svg} ${wildcard */*.svg} ${wildcard */*/*.svg} $(foreach i, 1 2 3 4 5 6, tastatur3d/tastatur_neo_Ebene${i}.svg) PDFFILES=${addsuffix .pdf,${basename ${SVGFILES}}} PNGFILES=${addsuffix .png,${basename ${SVGFILES}}} @@ -14,6 +14,9 @@ cleanpng: cleanpdf: rm -rf ${PDFFILES} +tastatur3d/tastatur_neo_Ebene%.svg: tastatur3d/tastatur_neo_alle_Ebenen.svg + /bin/echo -e '/inkscape:label="Ebene $*"\n.+1\ns/none/inline/g\nw $@'|ed $< + %.pdf: %.svg inkscape --without-gui --export-pdf=$@ $< |