Start from clean GIT

This commit is contained in:
Tim Schubert 2018-09-21 11:45:21 +02:00
commit e841f14a95
2112 changed files with 6638085 additions and 0 deletions

30
Makefile.include Normal file
View file

@ -0,0 +1,30 @@
.PHONY: all clean $(FILES) pdf ps
OPTS="--shell-escap"
clean:
rm -f *.aux *.blg *.out *.bbl *.log *.snm *.toc *.nav *.pdf *.ps *.dvi
all: pdf # ps
# all PDFs
pdf: $(addsuffix .pdf, $(FILES))
# all PostScripts
ps: $(addsuffix .ps, $(FILES))
# generic targets
%.pdf: %.tex
pdflatex $(OPTS) $(basename $^)
bibtex $(basename $^)
pdflatex $(OPTS) $(basename $^)
pdflatex $(OPTS) $(basename $^)
%.ps: %.dvi
dvips $^
dvips $^
%.dvi: %.tex
latex $(basename $^)
bibtex $(basename $^)
latex $(basename $^)
latex $(basename $^)