Re: updating doc policy (2 patches)

[Mark Polesky]

Graham Percival wrote:
> I get Comments on the same HTML page as Syntax Survey, and
> all the others on an additional HTML page.  Change all the
> @unnumberedsubsubsec into @unnumberedsubsubsec, and you've
> got a deal.
>
> (I _think_ that'll fix it -- double-check locally, then if
> it works, go ahead and push)

Interesting, it works fine for me.  I don't observe any such
page-splitting.  Are you sure the problem isn't on your end
somehow?  Also, in case you're right and I'm wrong, what did
you mean to write when you wrote this:

"change @unnumberedsubsubsec into @unnumberedsubsubsec"

Thanks
- Mark