]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/calculemus-2003/slides/Makefile
This commit was manufactured by cvs2svn to create branch 'moogle'.
[helm.git] / helm / papers / calculemus-2003 / slides / Makefile
diff --git a/helm/papers/calculemus-2003/slides/Makefile b/helm/papers/calculemus-2003/slides/Makefile
deleted file mode 100644 (file)
index cdde774..0000000
+++ /dev/null
@@ -1,9 +0,0 @@
-LATEX=latex
-ADVI=advi
-all: show.dvi
-show.dvi: show.tex slides.tex
-       $(LATEX) $<
-show: show.dvi
-       $(ADVI) -exec $<
-clean:
-       rm -f *.log *.aux *.dvi