Properly use $(AWK) in Makefile, not 'awk'
Fix for commit 498f1307569.
Backpatch-through: master
Branch
------
master
Details
-------
https://git.postgresql.org/pg/commitdiff/77c189cdafe3873b7273149fbc490cc11c431cc3
Modified Files
--------------
doc/src/sgml/Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)