Change Texinfo output to UTF-8
authorPeter Eisentraut <peter@eisentraut.org>
Fri, 27 Aug 2021 16:15:57 +0000 (18:15 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Fri, 27 Aug 2021 16:20:40 +0000 (18:20 +0200)
commite2799528d4f232f8d5fcbddb04629d73f7b342c9
treef97e42b70c5b79545edb90b5453c7af882c3f4fa
parent8f72becd6b9484fbb429651d8859faa36532a35a
Change Texinfo output to UTF-8

Since the whole documentation tool chain is now UTF-8 and there is an
increasing number of non-ISO-8859-1 characters in the text, keeping
the Texinfo output in ISO 8859-1 just creates unnecessary
complications.  Depending on the platform, there are conversion
failures and thus build failures, or weirdly converted characters.  By
changing the output to UTF-8, the whole encoding conversion business
is sidestepped.
doc/src/sgml/Makefile