talk committed

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

diff --git a/helm/papers/calculemus-2003/slides/Makefile b/helm/papers/calculemus-2003/slides/Makefile
new file mode 100644 (file)
index 0000000..cdde774
--- /dev/null
+++ b/helm/papers/calculemus-2003/slides/Makefile
@@ -0,0 +1,9 @@
+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