1 files changed, 0 insertions, 1 deletions
diff --git a/doc/faq/FAQ.tex b/doc/faq/FAQ.tex
index fba210c690..1c28063e68 100644
--- a/doc/faq/FAQ.tex
+++ b/doc/faq/FAQ.tex
@@ -295,7 +295,6 @@ There are graphical user interfaces:
 There are documentation and browsing tools:
 
 \begin{description}
-\item[Helm/Mowgli] A rendering, searching and publishing tool.
 \item[coq-tex] A tool to insert {\Coq} examples within .tex files. 
 \item[coqdoc] A documentation tool for \Coq.
 \item[coqgraph] A tool to generate a dependency graph from {\Coq} sources.