From e4c8865196f6ad6bb3473bcad1d2ad51147e4513 Mon Sep 17 00:00:00 2001 From: Bruce Momjian Date: Mon, 2 Dec 2024 21:25:12 -0500 Subject: [PATCH] doc Makefile: issue warning about chars that cannot be output A follow-up improvement to commit 641a5b7a144. Reported-by: Tatsuo Ishii, Tom Lane Discussion: https://postgr.es/m/20241126.182513.1752581942460106099.ishii@postgresql.org Backpatch-through: master --- doc/src/sgml/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index a04c532b536..4a08b6f433e 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -156,7 +156,9 @@ XSLTPROC_FO_FLAGS += --stringparam img.src.path '$(srcdir)/' $(XSLTPROC) $(XMLINCLUDE) $(XSLTPROCFLAGS) $(XSLTPROC_FO_FLAGS) --stringparam paper.type USletter -o $@ $^ %.pdf: %.fo $(ALL_IMAGES) - $(FOP) -fo $< -pdf $@ + LANG=C $(FOP) -fo $< -pdf $@ 2>&1 | \ + awk 'BEGIN { warn = 0 } { print } /not available in font/ { warn = 1 } \ + END { if (warn != 0) print("\nFound characters that cannot be output in the PDF document; see README.non-ASCII") }' 1>&2 ##