From c1937208862a3c65a9667c745ac97fff65cf5c9d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 7 Mar 2007 11:47:14 +0000
Subject: Application suggestion #1430 de Yevgeniy pour TEXINPUTS

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9687 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index 6209b0c8a9..417c722bd1 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -16,7 +16,7 @@ MAKEINDEX=makeindex
 PDFLATEX=pdflatex
 
 HEVEALIB=/usr/local/lib/hevea:/usr/lib/hevea
-TEXINPUTS=$(HEVEALIB):.:
+export TEXINPUTS=$(COQTOP)/doc:$(HEVEALIB):
 
 DOCCOQTOP=$(COQTOP)/bin/coqtop
 COQTEX=$(COQTOP)/bin/coq-tex -n 72 -image $(DOCCOQTOP) -v -sl -small
-- 
cgit v1.2.3