On Fri, May 10, 2019 at 05:34:48PM +0100, Gavin Smith wrote:
> On 5/10/19, Patrice Dumas wrote:
> > On Thu, May 09, 2019 at 07:13:05PM +0100, Gavin Smith wrote:
> >> I think there should be a more reliable way to identify links to
> >> index nodes from the table of contents in index.html in HTML o
On 5/10/19, Patrice Dumas wrote:
> On Thu, May 09, 2019 at 07:13:05PM +0100, Gavin Smith wrote:
>> I think there should be a more reliable way to identify links to
>> index nodes from the table of contents in index.html in HTML output.
>> Currently the only way is to check if "Index" appears in th
On Thu, May 09, 2019 at 07:13:05PM +0100, Gavin Smith wrote:
> I think there should be a more reliable way to identify links to
> index nodes from the table of contents in index.html in HTML output.
> Currently the only way is to check if "Index" appears in the name of
> the page. This would be us
I think there should be a more reliable way to identify links to
index nodes from the table of contents in index.html in HTML output.
Currently the only way is to check if "Index" appears in the name of
the page. This would be used in an "HTML-Info" system, providing the
functionality of Info usi
