diff options
| author |  Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-04-30 09:53:18 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-05-15 12:05:44 -0400 |
| commit | a6545a120c6587af38883597d20ac28131b813a9 (patch) | |
| tree | 5e6f088e8229abd0236c94b60b8516cb24a85331 /doc/sphinx/README.template.rst | |
| parent | dc5b6e15a2db658fb36754608683b10f847b3e94 (diff) | |
[doc] Clarify a comment in the README
Diffstat (limited to 'doc/sphinx/README.template.rst')
| -rw-r--r-- | doc/sphinx/README.template.rst | 3 |
1 files changed, 2 insertions, 1 deletions
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 <http://www.sphinx-doc.org/en/master/usage/restructuredtext/basics.html>`_ (“reST”), and compiled with `Sphinx <http://www.sphinx-doc.org/en/master/>`_. |