first checkin

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

diff --git a/helm/papers/calculemus-2003/Makefile b/helm/papers/calculemus-2003/Makefile
new file mode 100644 (file)
index 0000000..490e000
--- /dev/null
+++ b/helm/papers/calculemus-2003/Makefile
@@ -0,0 +1,13 @@
+TITLE=hbugs-calculemus-2003
+all: $(TITLE).ps
+%.ps: %.dvi
+       dvips -f $< > $@
+%.dvi: %.tex
+       latex $<
+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