diff options
Diffstat (limited to 'support/dktools/gui-img/wxdkdraw/font-names/GNUmakefile')
-rw-r--r-- | support/dktools/gui-img/wxdkdraw/font-names/GNUmakefile | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/support/dktools/gui-img/wxdkdraw/font-names/GNUmakefile b/support/dktools/gui-img/wxdkdraw/font-names/GNUmakefile deleted file mode 100644 index dd83b9505c..0000000000 --- a/support/dktools/gui-img/wxdkdraw/font-names/GNUmakefile +++ /dev/null @@ -1,12 +0,0 @@ - -IMAGES := $(patsubst %.wxd,%.xpm,$(wildcard *.wxd)) - -RESOLUTION=96 - -images: $(IMAGES) - -%.xpm: %.wxd - gxhconvert -o=xpm -r=$(RESOLUTION) $< - -%.pdf: %.fig - gxhconvert -o=pdf $< |