doc: declare encoding for texi2html.