1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/thesis/fig/Makefile	Sat Feb 07 22:39:07 2009 +0100
     1.3 @@ -0,0 +1,36 @@
     1.4 +# generate clipped EPS pictures of PIC files
     1.5 +#
     1.6 +# requires: pic, troff (with font Palatino), grops, ps2eps
     1.7 +
     1.8 +#IMG=`ls *.pic | sed 's/\.pic$$/.eps/'`
     1.9 +IMG=\
    1.10 +comm-classification.eps \
    1.11 +masqmail-arch-new.eps \
    1.12 +comm-lifecycle.eps \
    1.13 +email-swot.eps \
    1.14 +mta-channels.eps \
    1.15 +stunnel.eps \
    1.16 +mail-agents.eps \
    1.17 +masqmail-typical-usage.eps \
    1.18 +masqmail-channels.eps \
    1.19 +proxy-setup.eps \
    1.20 +ipc-protocol.eps \
    1.21 +
    1.22 +
    1.23 +.PHONY: all
    1.24 +all: info $(IMG)
    1.25 +
    1.26 +info:
    1.27 +	@echo "pictures to generate: $(IMG)"
    1.28 +
    1.29 +
    1.30 +
    1.31 +.SUFFIXES: .pic .eps
    1.32 +.pic.eps: *.pic
    1.33 +	@echo ">>>> processing: $*"
    1.34 +	pic $*.pic | troff -fP | grops | ps2eps -f > $*.eps
    1.35 +
    1.36 +
    1.37 +.PHONY: clean
    1.38 +clean:
    1.39 +	rm -f `ls *.pic | sed 's/\.pic$$/.eps/'`