doc: declare encoding for texi2html.
authorNicolas George <nicolas.george@normalesup.org>
Sun, 22 Jul 2012 10:29:22 +0000 (12:29 +0200)
committerNicolas George <nicolas.george@normalesup.org>
Sun, 22 Jul 2012 10:48:57 +0000 (12:48 +0200)
commit21fb7ff35ba9b0a4df83bb3139a3f14e13cd29f9
treed062f55856bd0169fac441e3200d2a96b4d0b79c
parent82ecae8a7069104698d491000b37629cd8d96fd8
doc: declare encoding for texi2html.

It adds the following header to the HTML files:
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
which helps some browsers to display correctly the few non-ASCII
characters in the doc.
doc/t2h.init