From adc9e990a0c338cef57ff1bd9717adcc781f283c Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 4 Aug 2007 07:33:32 +0000
Subject: 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
---
 papers/cfrontend_new/Makefile | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100755 papers/cfrontend_new/Makefile

(limited to 'papers/cfrontend_new/Makefile')

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
-
-- 
cgit