small web update with texi2html patch

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 <janneke@xxxxxxx> | GNU LilyPond - The music typesetter
AvatarÂ: http://AvatarAcademy.nl    | http://lilypond.org

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

_______________________________________________
lilypond-devel mailing list
lilypond-devel@xxxxxxx
http://lists.gnu.org/mailman/listinfo/lilypond-devel