X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fcalculemus-2003%2FMakefile;fp=helm%2Fpapers%2Fcalculemus-2003%2FMakefile;h=0000000000000000000000000000000000000000;hb=1696761e4b8576e8ed81caa905fd108717019226;hp=0563097ab7f033ee4f8e6fc179b0c7f1b2a28aed;hpb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;p=helm.git

diff --git a/helm/papers/calculemus-2003/Makefile b/helm/papers/calculemus-2003/Makefile
deleted file mode 100644
index 0563097ab..000000000
--- a/helm/papers/calculemus-2003/Makefile
+++ /dev/null
@@ -1,95 +0,0 @@
-
-#
-# Generic makefile for latex
-#
-# Author: Stefano Zacchiroli <zack@bononia.it>
-#
-# Created: Sun, 29 Jun 2003 12:00:55 +0200 zack
-# Last-Modified: Sun, 29 Jun 2003 12:00:55 +0200 zack
-#
-
-########################################################################
-
-# list of .tex _main_ files
-TEXS = hbugs-calculemus-2003.tex
-
-# number of runs of latex (for table of contents, list of figures, ...)
-RUNS = 3
-
-# do you need bibtex?
-BIBTEX = no
-
-# which formats generated by default ("all" target)?
-# (others will be generated by "world" target)
-FORMATS = $(AVAILABLE_FORMATS)
-AVAILABLE_FORMATS = dvi ps ps.gz pdf
-
-########################################################################
-
-ADVI = advi
-BIBTEX = bibtex
-BROWSER = galeon
-DVIPDF = dvipdf
-DVIPS = dvips
-GV = gv
-GZIP = gzip
-HEVEA = hevea
-ISPELL = ispell
-LATEX = latex
-XDVI = xdvi
-
-ALL_FORMATS = $(FORMATS)
-WORLD_FORMATS = $(AVAILABLE_FORMATS)
-
-all: $(ALL_FORMATS)
-world: $(WORLD_FORMATS)
-
-DVIS = $(TEXS:.tex=.dvi)
-PSS = $(TEXS:.tex=.ps)
-PSGZS = $(TEXS:.tex=.ps.gz)
-PDFS = $(TEXS:.tex=.pdf)
-HTMLS = $(TEXS:.tex=.html)
-
-dvi: $(DVIS)
-ps: $(PSS)
-ps.gz: $(PSGZS)
-pdf: $(PDFS)
-html: $(HTMLS)
-
-show: showps
-showdvi: $(DVIS)
-	$(XDVI) $<
-showps: $(PSS)
-	$(GV) $<
-showpdf: $(PDFS)
-	$(GV) $<
-showpsgz: $(PSGZS)
-	$(GV) $<
-showhtml: $(HTMLS)
-	$(BROWSER) $<
-
-clean:
-	rm -f \
-		$(TEXS:.tex=.dvi) $(TEXS:.tex=.ps) $(TEXS:.tex=.ps.gz) \
-		$(TEXS:.tex=.pdf) $(TEXS:.tex=.aux) $(TEXS:.tex=.log) \
-		$(TEXS:.tex=.html)
-
-%.dvi: %.tex
-	$(LATEX) $<
-	if [ "$(BIBTEX)" = "yes" ]; then $(BIBTEX) $*; fi
-	if [ "$(RUNS)" -gt 1 ]; then \
-		for i in seq 1 `expr $(RUNS) - 1`; do \
-			$(LATEX) $<; \
-		done; \
-	fi
-%.ps: %.dvi
-	$(DVIPS) -o $@ $<
-%.ps.gz: %.ps
-	$(GZIP) -c $< > $@
-%.pdf: %.dvi
-	$(DVIPDF) $< $@
-%.html: %.tex
-	$(HEVEA) $<
-
-.PHONY: all ps pdf html clean
-