]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/calculemus-2003/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / papers / calculemus-2003 / Makefile
1 TITLE=hbugs-calculemus-2003
2 REPEAT=3
3 all: $(TITLE).ps
4 %.ps: %.dvi
5         dvips -f $< > $@
6 %.dvi: %.tex eps/*.eps
7         for i in $(shell seq 1 $(REPEAT)); do latex $<; done
8 show: $(TITLE).dvi
9         xdvi $(TITLE).dvi
10 showps: $(TITLE).ps
11         gv $(TITLE).ps
12 clean:
13         rm -f $(TITLE).{ps,dvi,log,aux}
14 .PHONY: all show showps clean