Thread: pgsql: Properly use $(AWK) in Makefile, not 'awk'

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(-)