diff options
Diffstat (limited to 'papers/cfrontend_new/Makefile')
-rwxr-xr-x | papers/cfrontend_new/Makefile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/papers/cfrontend_new/Makefile b/papers/cfrontend_new/Makefile new file mode 100755 index 0000000..75d06d0 --- /dev/null +++ b/papers/cfrontend_new/Makefile @@ -0,0 +1,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 + |