On 7 November 2016 at 18:15, Gavin Smith <gavinsmith0...@gmail.com> wrote: >> (Having the info reader to the mapping is a bad idea >> because the we have to use different conventions for html.) >> >> I'm fine with any of these, though (2d) requires someone to >> do the work in makeinfo. Picking (1a/2a) or (1b/2b) or >> (1c/2c) is mainly a matter of updating the documentation. > > Yes, the documentation could be a bit clearer.
If anyone would like to propose a patch to the documentation for this, please go ahead. (Reference to mailing list archives: http://lists.gnu.org/archive/html/help-texinfo/2016-11/msg00009.html)