diff options
Diffstat (limited to 'doc/sphinx')
| -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 2f7ba028a3..10a4fcadfe 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/>`_. |