texi2html: texi2html already supports the -D option to set bigpage...

texi2html: texi2html already supports the -D option to set bigpage...

Oops, I should really start reading manuals! I was thinking about various
ways to pass the bigpage option to texi2html (like the -D bigpage option
did for makeinfo). I even already drafted a mail to the texi2html bug
list, when I discovered that texi2html fully supports the -D option, just
like makeinfo...