summaryrefslogtreecommitdiff
path: root/doc/tutorial/Makefile
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-08-13 15:54:41 +0000
committeraarne <aarne@cs.chalmers.se>2007-08-13 15:54:41 +0000
commitbc1c5a6a094d1307a69fd78cda7e06db002ca795 (patch)
tree9d6f116d4be38b64e9f935cb4895e996098e8711 /doc/tutorial/Makefile
parentc448c7ed7ca1dab889e90a9b6719d8f442b1c48b (diff)
new tutorial version started
Diffstat (limited to 'doc/tutorial/Makefile')
-rw-r--r--doc/tutorial/Makefile8
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/tutorial/Makefile b/doc/tutorial/Makefile
index 76ab130f1..5338adb6e 100644
--- a/doc/tutorial/Makefile
+++ b/doc/tutorial/Makefile
@@ -1,8 +1,8 @@
all: html tex
html:
- txt2tags -thtml --toc gf-tutorial2.txt
+ txt2tags -thtml --toc gf-tutorial2_9.txt
tex:
- txt2tags -ttex --toc gf-tutorial2.txt
- pdflatex gf-tutorial2.tex
- pdflatex gf-tutorial2.tex
+ txt2tags -ttex --toc gf-tutorial2_9.txt
+ pdflatex gf-tutorial2_9.tex
+ pdflatex gf-tutorial2_9.tex