diff options
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 |