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

Bruce Momjian <bruce@momjian.us>

Commit: 77c189cdafe3873b7273149fbc490cc11c431cc3
Author: Bruce Momjian <bruce@momjian.us>
Date: 2024-12-04T03:31:33Z
Releases: 18.0
Properly use $(AWK) in Makefile, not 'awk'

Fix for commit 498f1307569.

Backpatch-through: master

Files

PathChange+/−
doc/src/sgml/Makefile modified +1 −1