From a6545a120c6587af38883597d20ac28131b813a9 Mon Sep 17 00:00:00 2001 From: Clément Pit-Claudel Date: Mon, 30 Apr 2018 09:53:18 -0400 Subject: [doc] Clarify a comment in the README --- doc/sphinx/README.template.rst | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/sphinx/README.template.rst b/doc/sphinx/README.template.rst index 2f7ba028a..10a4fcadf 100644 --- a/doc/sphinx/README.template.rst +++ b/doc/sphinx/README.template.rst @@ -3,7 +3,8 @@ ============================= .. - This README is auto-generated from the coqrst docs; use ``./regen_readme.py`` to rebuild the it. + README.rst is auto-generated from README.template.rst and the coqrst docs; + use ``doc/tools/coqrst/regen_readme.py`` to rebuild it. Coq's documentation is written in `reStructuredText `_ (“reST”), and compiled with `Sphinx `_. -- cgit v1.2.3