diff options
Diffstat (limited to 'doc/tutorial')
| -rwxr-xr-x | doc/tutorial/Tutorial.tex | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/doc/tutorial/Tutorial.tex b/doc/tutorial/Tutorial.tex index c5b977628f..7909e20f76 100755 --- a/doc/tutorial/Tutorial.tex +++ b/doc/tutorial/Tutorial.tex @@ -1,16 +1,16 @@ -\documentclass[11pt]{book} +\documentclass[11pt,a4paper]{book} \usepackage[T1]{fontenc} \usepackage[latin1]{inputenc} \usepackage{pslatex} -\input{./version.tex} -\input{./macros.tex} -\input{./title.tex} +\input{../common/version.tex} +\input{../common/macros.tex} +\input{../common/title.tex} %\makeindex \begin{document} -\coverpage{A Tutorial}{Gérard Huet, Gilles Kahn and Christine Paulin-Mohring} +\coverpage{A Tutorial}{Gérard Huet, Gilles Kahn and Christine Paulin-Mohring}{} %\tableofcontents |