small web update with texi2html patch

[Jan Nieuwenhuizen]

Hi,

Some of our toc menus on the new web page, esp. the second level
in Manuals are much too wide, see

    http://lilypond.org/~graham/Manuals.html#Manuals

I made a patch for texi2html (attached) so that it
alternatively can use the (shorter) optional text part of a menu

    * NODE-NAME :: OPTIONAL-TEXT.

I also added much shortened names for all manuals for this to
work.  Have a look at

    http://lilypond.org/~janneke/lilypond.org/Manuals

to see it in action.

Greetings,
Jan.

-- 
Jan Nieuwenhuizen <address@hidden> | GNU LilyPond - The music typesetter
Avatar®: http://AvatarAcademy.nl    | http://lilypond.org

texi2html-toc-shortest-of-name-or-text.patch
Description: Text Data