diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-04-17 09:49:54 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-04-17 09:49:54 +0200 |
| commit | a34bd320aed7027c46021643cd2495baa0a17089 (patch) | |
| tree | 50b8d39734aa2ff7393a878c0ad43f5c74c9831b | |
| parent | d9fe9ae3f4e16b409bf5b50461c45c1f9e2c5305 (diff) | |
| parent | bd98170d1c0267bc1def216c28331a39d950c8b0 (diff) | |
Merge PR #7277: Mention sphinxcontrib-bibtex in INSTALL.doc
| -rw-r--r-- | INSTALL.doc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL.doc b/INSTALL.doc index b424f9f64..625c36869 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 |