awk and the GNU makefile conventions (corrected version)

[Paul Eggert]

[Sorry, my earlier patch missed an occurrence of $(AWK) that should be
added.  Here's a corrected version of the email.]

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:45:12 -0000
*************** user can substitute alternatives.  Here 
*** 174,187 ****
  mean:
  
  @example
! ar bison cc flex install ld ldconfig lex
  make makeinfo ranlib texi2dvi yacc
  @end example
  
  Use the following @code{make} variables to run those programs:
  
  @example
! $(AR) $(BISON) $(CC) $(FLEX) $(INSTALL) $(LD) $(LDCONFIG) $(LEX)
  $(MAKE) $(MAKEINFO) $(RANLIB) $(TEXI2DVI) $(YACC)
  @end example
  
--- 174,187 ----
  mean:
  
  @example
! ar awk bison cc flex install ld ldconfig lex
  make makeinfo ranlib texi2dvi yacc
  @end example
  
  Use the following @code{make} variables to run those programs:
  
  @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