Mechanism for making a 10-pixel DF font.

diff --git a/Makefile b/Makefile
index f99e72ea327e74c318a4c8b1aad20be7341e4921..2c1a1f54a5e82df9ec4e03dd0d489a5d631f7346 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-all: bedstead.otf sample.png title.png
+all: bedstead.otf sample.png title.png bedstead-10-df.png bedstead-20-df.png
 
 bedstead.sfd: bedstead
        ./bedstead > bedstead.sfd
@@ -13,8 +13,8 @@ bedstead.sfd: bedstead
        gs -dSAFER -sDEVICE=pnggray -dTextAlphaBits=4 \
                -o $@ bedstead.pfa $<
 
-df.png: df.ps bedstead.pfa
-       gs -dSAFER -sDEVICE=png16m \
+bedstead-%-df.png: df.ps bedstead.pfa
+       gs -dSAFER -dsize=$* -sDEVICE=png16m \
                -o $@ bedstead.pfa $<
 
 .PHONY: clean

diff --git a/df.ps b/df.ps
index 3a168569e1d9c6983bacdd551530012659dfb7bc..5f70038610a6ef1745615a8009aa96b52c66f7de 100644 (file)
--- a/df.ps
+++ b/df.ps
@@ -1,4 +1,3 @@
-/size 20 def
 /pw size 16 mul 6 mul 10 div def
 /ph size 16 mul def
 << /HWResolution [ 72 72 ]