On 8/7/20 2:08 PM, Gavin Smith wrote:
You could fix the links by changing the node names.
For example, https://domterm.org/drop-down.html comes from a node called
"drop-down". texi2any makes this drop_002ddown.html. If you change the
node name to "drop down" instead, then the file name will be
drop-down.html instead.
But that changes the visible text shown in the browser.
The node name is used all over the place, in Prev/Next links,
menus, and (by default) cross-references.
--
--Per Bothner
[email protected] http://per.bothner.com/
