summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorguest <guest@da047780-0f9f-48de-953f-cd541ee48bbd>2007-10-31 15:13:11 +0000
committerguest <guest@da047780-0f9f-48de-953f-cd541ee48bbd>2007-10-31 15:13:11 +0000
commit150e7a0af5f0f4e7eb0368c47059f56cfe50e708 (patch)
treeb90d84625d760306e7dafd01d89553c4c6536a4d /Makefile
parentff487335fb0b1428d226b5f2475f84f8ef1063d9 (diff)
praes pre1
git-svn-id: svn+ssh://mecka.net/home/svn/rtcorba-paper@16 da047780-0f9f-48de-953f-cd541ee48bbd
Diffstat (limited to 'Makefile')
-rwxr-xr-xMakefile7
1 files changed, 6 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 3ce5722..5886bb5 100755
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-all: paper.pdf
+all: paper.pdf praes.pdf
paper.pdf: paper.tex
latex paper.tex
@@ -6,5 +6,10 @@ paper.pdf: paper.tex
dvips -o paper.ps paper.dvi
ps2pdf paper.ps paper.pdf
+praes.pdf: praes.tex
+ pdflatex praes.tex
+ pdflatex praes.tex
+ pdflatex praes.tex
+
clean:
rm -f *.dvi *.aux *.log *.ps *.pdf