Big page manuals, please update your texi2html CVS snapshot

[John Mandereau]

Hi,

texi2html from current CVS no longer crashes on one of French big page
manuals, so I pushed changes that make all big page manuals be generated
in all languages.

BTW I don't know how is texi2html supposed to be updated in GUB.  GUB
takes texi2html source from a Git repo on lilypond.org; is this repo
supposed to regularly sync from Texinfo CVS?  It hasn't be updated for
weeks; it should be done, otherwise GUB will fail at building the
documentation.

Cheers,
John