Re: numbering sections in makeinfo output

On Thu, Nov 13, 2003 at 01:31:53AM -0500, Simon Law wrote:
>
> 	This sounds perfectly reasonable to me.  We should definitely
> aim to get all forms of documentation as similar as possible.

Seconded.

>  (It makes it easier to refer to Section 2.1 of some manual, right?)

Nah.  Section numbers can change between revisions of the manual.
I've been bitten by this.  Better refer to title or nodes (if the
title or node changed at least you have some context).

On a related topic, I find texi2html-like URL very annoying:
  http://www.gnu.org/prep/standards_12.html
How can anybody quote/bookmark such an URL?  In the next
revision of the manual it might designate a completly different
section.