From: Simon McVittie <smcv@debian.org>
Date: Thu, 8 Oct 2015 11:57:03 -0700
Subject: Rename buildhtml.py to rst-buildhtml

Change paths in documentation to match Debian's. Debian policy recommends not
having extensions like .py on script names, and buildhtml seems too generic a
name.

Forwarded: not-needed
Last-Update: 2023-05-20
---
 docs/user/tools.txt | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/user/tools.txt b/docs/user/tools.txt
index 4487527..57833da 100644
--- a/docs/user/tools.txt
+++ b/docs/user/tools.txt
@@ -340,12 +340,14 @@ buildhtml.py
 :Writers: html_, html5_, pep_html_
 :Config_: `[buildhtml application]`_
 
+In Debian this tool is installed under the name rst-buildhtml.
+
 The ``buildhtml.py`` script can be found in the ``/tools`` directory of
 the "docutils" source. It is not included in binary packages. [#]_
 
 Usage::
 
-    buildhtml.py [options] [<directory> ...]
+    rst-buildhtml [options] [<directory> ...]
 
 Use ``buildhtml.py`` to generate ``*.html`` from reStructuredText
 source files in each <directory> given, and their subdirectories too.
