From 81b56c42726e6e6c2e1707029f3f9d9913a595d0 Mon Sep 17 00:00:00 2001
From: notin
Date: Mon, 13 Aug 2007 10:50:38 +0000
Subject: Correction du bug #1635

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

diff --git a/doc/faq/FAQ.tex b/doc/faq/FAQ.tex
index 935467317d..7355838a5d 100644
--- a/doc/faq/FAQ.tex
+++ b/doc/faq/FAQ.tex
@@ -2201,6 +2201,8 @@ You can use {\tt coqdoc}.
 
 \Question{How can I generate some dependency graph from my development?}
 
+You can use {\tt coq\_tex}.
+
 \Question{How can I cite some {\Coq} in my latex document?}
 
 You can use {\tt coq\_tex}.
-- 
cgit v1.2.3