awk and the GNU makefile conventions

[Paul Eggert]

The GNU makefile conventions have an example using 'gawk', but 'gawk'
is not on the list of programs that portable makefiles are allowed to
assume.  Here is a proposed patch.

2006-12-04  Paul Eggert  <address@hidden>

        * make-stds.texi (Utilities in Makefiles): Add awk to the list
        of compilers and related programs.
        (Install Command Categories): Use $(AWK) rather than gawk, so
        that the example conforms to the makefile coding standards.

*** make-stds.texi      19 Aug 2006 17:48:02 -0000      1.13
--- make-stds.texi      4 Dec 2006 22:38:15 -0000
*************** user can substitute alternatives.  Here 
*** 174,180 ****
  mean:
  
  @example
! ar bison cc flex install ld ldconfig lex
  make makeinfo ranlib texi2dvi yacc
  @end example
  
--- 174,180 ----
  mean:
  
  @example
! ar awk bison cc flex install ld ldconfig lex
  make makeinfo ranlib texi2dvi yacc
  @end example
  
*************** make -s -n install -o all \
*** 1122,1128 ****
        PRE_INSTALL=pre-install \
        POST_INSTALL=post-install \
        NORMAL_INSTALL=normal-install \
!   | gawk -f pre-install.awk
  @end smallexample
  
  @noindent
--- 1122,1128 ----
        PRE_INSTALL=pre-install \
        POST_INSTALL=post-install \
        NORMAL_INSTALL=normal-install \
!   | $(AWK) -f pre-install.awk
  @end smallexample
  
  @noindent