diff options
Diffstat (limited to 'doc/devel/images/Makefile')
-rw-r--r-- | doc/devel/images/Makefile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/doc/devel/images/Makefile b/doc/devel/images/Makefile new file mode 100644 index 0000000000..bef9f8bf62 --- /dev/null +++ b/doc/devel/images/Makefile @@ -0,0 +1,21 @@ + +# this is only a temporary makefile + +# you need ps2eps, groff, pnmutils, and ghostscript installed + +PICS=e-config-flow.pic e-popup-merge-1.pic e-popup-merge-2.pic +EPS=$(PICS:.pic=.eps) +PNG=$(PICS:.pic=.png) + +all: $(PNG) + +%.eps: %.pic + groff -p $^ | ps2eps -f -l > $@ + +%.png: %.pic + groff -p $^ \ + | gs -q -dSAFER -dNOPAUSE -dBATCH -r180 -sDEVICE=pnmraw -sOutputFile=- - -c quit \ + | pnmcrop \ + | pnmscale 0.5 \ + | pnmtopng > $@ + |