Fix Makefile so invalid characters warning preserves error code
authorBruce Momjian <bruce@momjian.us>
Tue, 3 Dec 2024 23:27:41 +0000 (18:27 -0500)
committerBruce Momjian <bruce@momjian.us>
Tue, 3 Dec 2024 23:27:41 +0000 (18:27 -0500)
commit498f130756914e1bc3125ddfc7e5c86f38ded8e8
tree7a76b5759d58cd859d16c19683d643feb24ce762
parent8b318a168a5830770722c501d7db0607649b3c33
Fix Makefile so invalid characters warning preserves error code

Fix for commit e4c8865196f.

Reported-by: Peter Eisentraut
Discussion: https://postgr.es/m/88cb6ecf-22bb-431e-974b-1cd236a80364@eisentraut.org

Backpatch-through: master
doc/src/sgml/Makefile