Merge PR #20749: End the reign of terror of README.template.rst

Reviewed-by: proux01
Co-authored-by: proux01 <proux01@users.noreply.github.com>

Author: coqbot-app[bot]

doc/sphinx/README.template.rst

@@ -146,9 +146,7 @@ def setup(app):
     '.DS_Store',
     'introduction.rst',
     'refman-preamble.rst',
-    'README.rst',
-    'README.gen.rst',
-    'README.template.rst'
+    'README.rst'
 ] + ["*.{}.rst".format(fmt) for fmt in SUPPORTED_FORMATS]
 
 # The reST default role (used for this markup: `text`) to use for all

doc/sphinx/conf.py

@@ -1,10 +1 @@
 (dirs :standard _static _templates)
-
-(rule
- (targets README.gen.rst)
- (deps (source_tree ../tools/coqrst) README.template.rst)
- (action (run ../tools/coqrst/regen_readme.py %{targets})))
-
-(rule
- (alias refman-html)
- (action (diff README.rst README.gen.rst)))