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/Makefile | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'doc/Makefile')

diff --git a/doc/Makefile b/doc/Makefile
index ae057235ab..066d010bbc 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -45,8 +45,8 @@ COQTEXFILES= Cases.v.tex Coercion.v.tex Extraction.v.tex Program.v.tex\
   Correctness.v.tex Setoid.v.tex
 
 REFMANFILES= Reference-Manual.tex RefMan-pre.tex RefMan-int.tex \
-  RefMan-pro.tex RefMan-com.tex RefMan-uti.tex RefMan-add.tex \
-  RefMan-modr.tex \
+  RefMan-pro.tex RefMan-com.tex RefMan-uti.tex RefMan-ide.tex \
+  coqide.eps RefMan-add.tex RefMan-modr.tex \
   $(REFMANCOQTEXFILES) 
 
 REFMAN=Reference-Manual
@@ -90,6 +90,11 @@ all-ps: Tutorial.v.ps Reference-Manual.ps # Library.ps Changes.v.ps
 all-html: Tutorial.v.html Reference-Manual.html # Library.html Changes.v.html
 
 
+#image coqide
+coqide.eps: coqide.png
+	pngtopnm coqide.png | pnmtops -noturn -rle > coqide.eps
+
+
 # dvips et dviselect existent sur loupiac
 distrib:
 	make check-env
-- 
cgit v1.2.3