diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-07-08 12:43:07 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-07-08 12:43:07 +0000 |
| commit | ba7061166978e74bc0b0930c5d1db695aa125bda (patch) | |
| tree | 5ac85a97284c0dc14f199c882cdc9d1dee18cd65 /doc/tutorial/Makefile | |
| parent | 08f5f513d7c4134e048f53cce789cd878c093f16 (diff) | |
peb's forest patch
Diffstat (limited to 'doc/tutorial/Makefile')
| -rw-r--r-- | doc/tutorial/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/tutorial/Makefile b/doc/tutorial/Makefile index 1902994ea..ee040382a 100644 --- a/doc/tutorial/Makefile +++ b/doc/tutorial/Makefile @@ -1,6 +1,6 @@ html: txt2tags -thtml --toc gf-tutorial2_8.txt tex: - txt2tags -ttex --toc gf-tutorial2.txt - pdflatex gf-tutorial2.tex - pdflatex gf-tutorial2.tex + txt2tags -ttex --toc gf-tutorial2_8.txt + pdflatex gf-tutorial2_8.tex + pdflatex gf-tutorial2_8.tex |