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