GDP: html sections

[Graham Percival]

It is true that second-level titles like "1.1 Pitches" do not contain
any useful information; that is not likely to change.  (I should
explicitly state this in the doc policy, though.)

The intent was for 1.1.1 Writing pitches to be a single HTML page,
including all the @unnumberedsubsubsec.  (that's why they're
@unnumber...)   I have spent about ten hours working on texi2html,
filing bugs, and having them fixed.  We can now compile the manual with
texi2html (although it doesn't work with our current makefile).

With texi2html, it should be relatively easy to split HTML by numbered
sections.  However, I need somebody to figure out how to do this.  It
requires a little bit of perl code with some kind of file_name hook in
texi2html.  If anybody is interested in this, let me know.

In the absence of anybody working on this, the HTML sections will remain
as they are.  :(

Cheers,
- Graham


Mats Bengtsson wrote:
> - Sorry to bring out the issue of splitting subsections on several HTML 
> pages again, but
>  "1.1 Pitches" shows a typical example that the level 2 and 3 
> subsections don't
>  contain anything of interest. As a reader, I will soon figure out that 
> it's no use
>  to click on a level 2 title like "1.1. Pitches" or level 3 like "1.1.1 
> Writing pitches",
>  since it just contains links to other HTML pages, which I can just as 
> well reach directly
>  from the main table of contents for the manual. This means that if 
> there are some
>  subsections that actually contain some important information directly 
> in a level
>  2 or 3 subsection, then most readers will never find it, since they 
> will not bother to
>  click on these titles.