diff options
Diffstat (limited to 'doc/tutorial/Makefile')
| -rw-r--r-- | doc/tutorial/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/tutorial/Makefile b/doc/tutorial/Makefile index 76ab130f1..5338adb6e 100644 --- a/doc/tutorial/Makefile +++ b/doc/tutorial/Makefile @@ -1,8 +1,8 @@ all: html tex html: - txt2tags -thtml --toc gf-tutorial2.txt + txt2tags -thtml --toc gf-tutorial2_9.txt tex: - txt2tags -ttex --toc gf-tutorial2.txt - pdflatex gf-tutorial2.tex - pdflatex gf-tutorial2.tex + txt2tags -ttex --toc gf-tutorial2_9.txt + pdflatex gf-tutorial2_9.tex + pdflatex gf-tutorial2_9.tex |