From c1466b54d098e4e410aefacd6317bf8fa40bb63c Mon Sep 17 00:00:00 2001
From: mohring
Date: Tue, 6 Jan 2004 16:52:44 +0000
Subject: doc avec frames

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

(limited to 'doc/Reference-Manual.tex')

diff --git a/doc/Reference-Manual.tex b/doc/Reference-Manual.tex
index 2e6c458439..0b9a8cc255 100644
--- a/doc/Reference-Manual.tex
+++ b/doc/Reference-Manual.tex
@@ -10,6 +10,7 @@
 \usepackage{verbatim}
 \usepackage{amsmath}
 \usepackage{amssymb}
+\usepackage{hevea}
 
 % for coqide
 \ifx\pdfoutput\undefined   % si on est pas en pdflatex
@@ -32,13 +33,17 @@
 %END LATEX
 
 \tophtml{}
+%BEGIN LATEX
 \coverpage{Reference Manual}{The Coq Development Team}
+%END LATEX
 
 %\defaultheaders
 \include{RefMan-int}% Introduction
 \include{RefMan-pre}% Credits
 
+%BEGIN LATEX
 \tableofcontents
+%END LATEX
 
 \part{The language}
 \defaultheaders
@@ -85,14 +90,19 @@
 \nocite{*}
 \bibliographystyle{plain}
 \bibliography{biblio}
+\cutname{biblio.html}
 
 \printindex
+\cutname{general-index.html}
 
 \printindex[tactic]
+\cutname{tactic-index.html}
 
 \printindex[command]
+\cutname{command-index.html}
 
 \printindex[error]
+\cutname{error-index.html}
 
 %BEGIN LATEX
 \listoffigures
-- 
cgit v1.2.3