doc: Replace characters that the PDF build cannot handle
authorPeter Eisentraut
Mon, 20 Sep 2021 08:05:46 +0000 (10:05 +0200)
committerPeter Eisentraut
Mon, 20 Sep 2021 08:05:46 +0000 (10:05 +0200)
commit89a967e9b5262db1cea62a5725dd7bd7489d240d
tree2352ea9261184c03420727c4b6d2d10ffb4f95ea
parent3609b453cd655060562f8750ce0ce4bdddf43a57
doc: Replace characters that the PDF build cannot handle

A few characters in the acknowledgments list cannot be handled by the
PDF build, so replace with a similar ASCII character.
doc/src/sgml/release-14.sgml