bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Web manual out-dated?


From: Bruno Haible
Subject: Re: Web manual out-dated?
Date: Fri, 21 Nov 2008 11:41:50 +0100
User-agent: KMail/1.5.4

Patrice Dumas wrote:
> ... have cross manual references from other manuals to work
> reproducibly and use file name that correspond as much as possible with 
> node names.

Yes, I understand that it is unwelcome to change the mapping from node name
to HTML file name, because hyperlinks coming from cross references across
manuals would be broken. But in this case, if someone had a cross reference
@ref{(gnulib)index,...} it will now temporarily point to the table of contents
of gnulib; only when that manual is regenerated, it will again point to the
'index' node. This is an acceptable side-effect of having the general
problem with "@node index" fixed.

Bruno





reply via email to

[Prev in Thread] Current Thread [Next in Thread]