diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-05-30 19:29:24 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-05-30 19:29:24 +0000 |
| commit | 93b4888b7868205f09ee0002290675d86ed335d5 (patch) | |
| tree | f638767b34d0a3e819e1ff41d5bd168d1ea469fe /doc/tutorial/Makefile | |
| parent | ebfbf323106e7a7f3afa62585b1c1bd3c795c352 (diff) | |
further work on tutorial
Diffstat (limited to 'doc/tutorial/Makefile')
| -rw-r--r-- | doc/tutorial/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/tutorial/Makefile b/doc/tutorial/Makefile new file mode 100644 index 000000000..d226e7348 --- /dev/null +++ b/doc/tutorial/Makefile @@ -0,0 +1,6 @@ +html: + txt2tags -thtml --toc gf-tutorial2.txt +tex: + txt2tags -ttex --toc gf-tutorial2.txt + pdflatex gf-tutorial2.tex + pdflatex gf-tutorial2.tex |