test wrong @documentencoding
@documentencoding
This document was generated on
a sunny day
using
texi2html
.