From 015781acfe4a2a75eeced513528b389cae9fb0a3 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 23 Feb 2006 14:21:14 +0000
Subject: Mise à jour des Makefile, ajout licences, corrections mineures suite
 à restructuration du répertoire de documentation

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8607 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/tutorial/Tutorial.tex | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'doc/tutorial')

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
 
-- 
cgit v1.2.3