generate pixmap

diff --git a/layout/.cvsignore b/layout/.cvsignore
index 69953014af956dfe2c8851f57f5dea2182500570..fc66568d71f16d37fd4daa247d5d26b3e18ee5bf 100644 (file)
--- a/layout/.cvsignore
+++ b/layout/.cvsignore
@@ -1,5 +1,6 @@
 *.d4
 ours-*.ps
+ours-g[0-9]*.ppm
 *.new
 *.segcmapreq
 *.segcmap

diff --git a/layout/Makefile b/layout/Makefile
index bfe1bd92ea4529ba81ad2ffb06a5ee749f3043b6..9c6306a6ca3f7daeb7c60ac7385b5c33c32a90e3 100644 (file)
--- a/layout/Makefile
+++ b/layout/Makefile
@@ -46,6 +46,11 @@ ours-g%.segcmap: ours-g%.segcmapreq segcmapassign
 ours-g%.segcmapreq: ours.d4 layout
                ./layout <$< -l$* $(LAYOUTOPTS_SEGS) -GR $o
 
+ours-g%.ppm:   ours-g%.ps
+               gs -dNOPAUSE -dBATCH -dSAFER -q \
+                       -sDEVICE=ppmraw -r72 -g595x842 \
+                       -sOutputFile=$@.new $< && mv -f $@.new $@
+
 ours-l%.ps:    ours.d4 layout
                ./layout <$< -l$* $(LAYOUTOPTS) $(XLAYOUTOPTS_LAYER) $o