diff options
| author | Peter Eisentraut | 2021-08-27 16:15:57 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2021-08-27 16:20:40 +0000 |
| commit | e2799528d4f232f8d5fcbddb04629d73f7b342c9 (patch) | |
| tree | f97e42b70c5b79545edb90b5453c7af882c3f4fa | |
| parent | 8f72becd6b9484fbb429651d8859faa36532a35a (diff) | |
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.
| -rw-r--r-- | doc/src/sgml/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index 0401a515df..4ae7ca2be7 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -201,7 +201,7 @@ MAKEINFO = makeinfo $(DB2X_XSLTPROC) -s texi -g output-file=$(basename $@) $< -o $@ %.texi: %.texixml - $(DB2X_TEXIXML) --encoding=iso-8859-1//TRANSLIT $< --to-stdout > $@ + $(DB2X_TEXIXML) --encoding=utf-8 $< --to-stdout > $@ %.info: %.texi $(MAKEINFO) --enable-encoding --no-split --no-validate $< -o $@ |