diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2007-08-04 07:33:32 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2007-08-04 07:33:32 +0000 |
| commit | adc9e990a0c338cef57ff1bd9717adcc781f283c (patch) | |
| tree | cdbb1265be6c524ade10565b1a2b500b510f3491 /papers/cfrontend_new/Makefile | |
| parent | 355b4abcee015c3fae9ac5653c25259e104a886c (diff) | |
| download | compcert-adc9e990a0c338cef57ff1bd9717adcc781f283c.tar.gz compcert-adc9e990a0c338cef57ff1bd9717adcc781f283c.zip | |
Deplacement du repertoire "papers" dans la hierarchie SVN
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@385 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
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 - |