blob: 75d06d0ab47de4ddc6dcdbd0f55381b95d5976d3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
LATEX=latex
PDFLATEX=pdflatex
TEXQUOTE=./texquote3
$(basename paper.tex): paper.tex macros.tex syntax.tex syntax2.tex values.tex dynsem1.tex dynsem2.tex dynsem3.tex dynsem4.tex trace.tex
$(PDFLATEX) paper.tex
clean::
rm -f `cat .genfiles`
rm -f *.log *.dvi *.blg *~ #*# .genfiles
.SUFFIXES: .tex .etex .ftex
.etex.tex:
$(TEXQUOTE) < $< > $*.tex
@echo $*.tex >> .genfiles
.ftex.tex:
$(TEXQUOTE) < $< > $*.tex
@echo $*.tex >> .genfiles
|