--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/thesis/img/Makefile	Thu Jan 01 21:32:19 2009 +0100
@@ -0,0 +1,25 @@
+# generate clipped EPS pictures of PIC files
+#
+# requires: pic, troff (with font Palatino), grops, ps2eps
+
+#IMG=`ls *.pic | sed 's/\.pic$$/.eps/'`
+IMG=comm-classification.eps masqmail-arch-new.eps
+
+
+.PHONY: all
+all: info $(IMG)
+
+info:
+	@echo "pictures to generate: $(IMG)"
+
+
+
+.SUFFIXES: .pic .eps
+.pic.eps: *.pic
+	@echo ">>>> processing: $*"
+	pic $*.pic | troff -fP | grops | ps2eps -f > $*.eps
+
+
+.PHONY: clean
+clean:
+	rm -f `ls *.pic | sed 's/\.pic$$/.eps/'`