diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-07-08 16:36:56 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-07-08 16:36:56 +0000 |
| commit | 23d8ebeb26892c8d831a8b5324fece62f6c6687c (patch) | |
| tree | 7900e1081ffc85cbc4f71e43a5a4a5f2368ca053 /doc/tutorial/Makefile | |
| parent | 3627875fa8ec277fad0bdabb1e7d74bd66ba2c42 (diff) | |
tutorial in final form
Diffstat (limited to 'doc/tutorial/Makefile')
| -rw-r--r-- | doc/tutorial/Makefile | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/doc/tutorial/Makefile b/doc/tutorial/Makefile index ee040382a..76ab130f1 100644 --- a/doc/tutorial/Makefile +++ b/doc/tutorial/Makefile @@ -1,6 +1,8 @@ +all: html tex + html: - txt2tags -thtml --toc gf-tutorial2_8.txt + txt2tags -thtml --toc gf-tutorial2.txt tex: - txt2tags -ttex --toc gf-tutorial2_8.txt - pdflatex gf-tutorial2_8.tex - pdflatex gf-tutorial2_8.tex + txt2tags -ttex --toc gf-tutorial2.txt + pdflatex gf-tutorial2.tex + pdflatex gf-tutorial2.tex |