diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-07-05 20:52:56 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-07-05 20:52:56 +0000 |
| commit | 1aff0ee08a2ff7e752e2fec4c915852e8b6438f6 (patch) | |
| tree | 4928fc0ff0b39b748d85c5040d8603f5dcaf9fdf /doc/tutorial/Makefile | |
| parent | 63f060dcf62a23c518379c46af40461afacfb27c (diff) | |
resource-food example in tutorial
Diffstat (limited to 'doc/tutorial/Makefile')
| -rw-r--r-- | doc/tutorial/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tutorial/Makefile b/doc/tutorial/Makefile index d226e7348..1902994ea 100644 --- a/doc/tutorial/Makefile +++ b/doc/tutorial/Makefile @@ -1,5 +1,5 @@ html: - txt2tags -thtml --toc gf-tutorial2.txt + txt2tags -thtml --toc gf-tutorial2_8.txt tex: txt2tags -ttex --toc gf-tutorial2.txt pdflatex gf-tutorial2.tex |
