X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fpapers%2Fcalculemus-2003%2FMakefile;fp=helm%2Fpapers%2Fcalculemus-2003%2FMakefile;h=0000000000000000000000000000000000000000;hp=1496348bcb543292b5dc5d66d7ee14f7d69dfd27;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/papers/calculemus-2003/Makefile b/helm/papers/calculemus-2003/Makefile
deleted file mode 100644
index 1496348bc..000000000
--- 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