diff options
Diffstat (limited to 'doc/tutorial')
| -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 |
