From e2799528d4f232f8d5fcbddb04629d73f7b342c9 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Fri, 27 Aug 2021 18:15:57 +0200 Subject: [PATCH] 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index 0401a515df8..4ae7ca2be7b 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 $@