From 580f71e99d5f83b2fe04211cb18f763c05765fbf Mon Sep 17 00:00:00 2001
From: marche
Date: Mon, 24 Nov 2003 13:39:29 +0000
Subject: coqide

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

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

diff --git a/doc/Reference-Manual.tex b/doc/Reference-Manual.tex
index af404d505c..01dece65de 100644
--- a/doc/Reference-Manual.tex
+++ b/doc/Reference-Manual.tex
@@ -5,6 +5,13 @@
 \usepackage{verbatim}
 \usepackage{palatino}
 \usepackage{url}
+% for coqide
+\ifx\pdftexversion\undefined   % si on est pas en pdflatex
+  \usepackage[dvips]{graphicx}
+\else
+  \usepackage[pdftex]{graphicx}
+\fi
+
 
 \makeatletter
 
@@ -51,6 +58,7 @@
 \part{Practical tools}
 \include{RefMan-com}% The coq commands (coqc coqtop)
 \include{RefMan-uti}% utilities (gallina, do_Makefile, etc)
+\include{RefMan-ide}% Coq IDE
 
 \include{AddRefMan-pre}%
 \include{Cases.v}%
-- 
cgit v1.2.3

