From bd98170d1c0267bc1def216c28331a39d950c8b0 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 17 Apr 2018 09:38:25 +0200
Subject: Mention sphinxcontrib-bibtex in INSTALL.doc

---
 INSTALL.doc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL.doc b/INSTALL.doc
index b424f9f644..625c368693 100644
--- a/INSTALL.doc
+++ b/INSTALL.doc
@@ -43,7 +43,7 @@ working set of packages for compiling the documentation for Coq is:
   python3 python-pip3
 
 To install the Python packages required to build the user manual, run:
-  pip3 install sphinx sphinx_rtd_theme beautifulsoup4 antlr4-python3-runtime pexpect
+  pip3 install sphinx sphinx_rtd_theme beautifulsoup4 antlr4-python3-runtime pexpect sphinxcontrib-bibtex
 
 
 Compilation
-- 
cgit v1.2.3