Properly use $(AWK) in Makefile, not 'awk'
authorBruce Momjian <bruce@momjian.us>
Wed, 4 Dec 2024 03:31:12 +0000 (22:31 -0500)
committerBruce Momjian <bruce@momjian.us>
Wed, 4 Dec 2024 03:31:33 +0000 (22:31 -0500)
commit77c189cdafe3873b7273149fbc490cc11c431cc3
treec55a1df92f931f2d18508e36cb19e5628ba1a6c1
parent962da900ac8f0927f1af2fd811ca67fa163c873a
Properly use $(AWK) in Makefile, not 'awk'

Fix for commit 498f1307569.

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