diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/faq/FAQ.tex | 2 |
1 files changed, 2 insertions, 0 deletions
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}. |