From 7ac76db452defea6685571961031be568f4595b4 Mon Sep 17 00:00:00 2001
From: mohring
Date: Thu, 20 Oct 2005 09:23:56 +0000
Subject: erreur coqdoc + headsep

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7456 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdoc/coqdoc.sty | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'tools')

diff --git a/tools/coqdoc/coqdoc.sty b/tools/coqdoc/coqdoc.sty
index 7f7aa9aa5e..597152f5c3 100644
--- a/tools/coqdoc/coqdoc.sty
+++ b/tools/coqdoc/coqdoc.sty
@@ -9,15 +9,15 @@
 \ProvidesPackage{coqdoc}[2002/02/11]
 
 % Headings
-
 \usepackage{fancyhdr}
 \newcommand{\coqdocleftpageheader}{\thepage\ -- \today}
 \newcommand{\coqdocrightpageheader}{\today\ -- \thepage}
 \pagestyle{fancyplain}
 
 %BEGIN LATEX
-\plainheadrulewidth 0.4pt
-\plainfootrulewidth 0pt
+\headsep 8mm
+\renewcommand{\plainheadrulewidth}{0.4pt}
+\renewcommand{\plainfootrulewidth}{0pt}
 \lhead[\coqdocleftpageheader]{\leftmark}
 \rhead[\leftmark]{\coqdocrightpageheader}
 \cfoot{}
@@ -50,7 +50,8 @@
 %HEVEA\newcommand{\coqdocindent}[1]{\hspace{#1}\hspace{#1}}
 
 % macro for typesetting the title of a module implementation
-\newcommand{\coqdocmodule}[1]{\section*{Module #1}\markboth{Module #1}{}}
+\newcommand{\coqdocmodule}[1]{\section*{Module #1}\markboth{Module #1}{}
+}
 
 %HEVEA\newcommand{\lnot}{\coqwkw{not}}
 %HEVEA\newcommand{\lor}{\coqwkw{or}}
-- 
cgit v1.2.3