This is ifhtml text.
This is ifinfo text.
This is tex text.
This is iftex text.
This document was generated on a sunny day using texi2html.