On 16/05/17 10:47 +0100, Jonathan Wakely wrote:
The bad names are not in a file called BADNAMES, so link from the old
chunk of documentation to the new position in the manual.
* doc/xml/manual/appendix_contributing.xml: Link to the list of bad
identifiers.
* doc/html/*: R
The bad names are not in a file called BADNAMES, so link from the old
chunk of documentation to the new position in the manual.
* doc/xml/manual/appendix_contributing.xml: Link to the list of bad
identifiers.
* doc/html/*: Regenerate.
Committed to trunk.
commit fe4721b0
