Re: unnumberedsubsubsec filename/anchor in HTML

[Carl Sorensen]

On 2/25/10 4:18 AM, "Graham Percival" <address@hidden> wrote:

> On Thu, Feb 25, 2010 at 9:53 AM, Francisco Vila <address@hidden> wrote:
>> 2010/2/25 Graham Percival <address@hidden>:
>>> @node Lists
>>> @unnumberedsubsubsec Lists
>>> 
>>> as is required (for precisely this reason) by our doc policy.
>> 
>> I could add @nodes everywhere if this helps.
> 
> That wouldn't help unless you also figure out how it changes the docs
> and make any necessary alterations.  Don't just blindly add @node
> everywhere.

At least in this section, it's my bad.  I'll fix it.

There are some other areas where it was done (I copied this behavior from
somewhere else), and I won't fix it there.  But in Extending, I will,
because I know what's intended.

Thanks for the catch,

Carl