This commit was manufactured by cvs2svn to create branch

[helm.git] / helm / papers / calculemus-2003 / Makefile

diff --git a/helm/papers/calculemus-2003/Makefile b/helm/papers/calculemus-2003/Makefile
deleted file mode 100644 (file)
index 1496348..0000000
--- a/helm/papers/calculemus-2003/Makefile
+++ /dev/null
@@ -1,14 +0,0 @@
-TITLE=hbugs-calculemus-2003
-REPEAT=3
-all: $(TITLE).ps
-%.ps: %.dvi
-       dvips -f $< > $@
-%.dvi: %.tex eps/*.eps
-       for i in $(shell seq 1 $(REPEAT)); do latex $<; done
-show: $(TITLE).dvi
-       xdvi $(TITLE).dvi
-showps: $(TITLE).ps
-       gv $(TITLE).ps
-clean:
-       rm -f $(TITLE).{ps,dvi,log,aux}
-.PHONY: all show showps clean