(.texi.notab): Use $(AWK), not gawk. At least some other awk

	implementations supports this script.

doc/Makefile.am

-# $Id: Makefile.am,v 1.43 2002/08/11 16:14:36 ceder Exp $
+# $Id: Makefile.am,v 1.44 2002/08/15 08:47:53 ceder Exp $
 # Copyright (C) 1998-1999, 2001-2002  Lysator Academic Computer Association.
 #
 # This file is part of the LysKOM server.
@@ -90,7 +90,7 @@ SUFFIXES = .texi .notab
 	## ugly.  Ban tabs.
 	$(RM) $@
 	if grep -n '	' $< /dev/null ; then echo tabs detected ; exit 1; fi
-	gawk 'length($0) > 79 {print FILENAME ":" NR ": too long line"; e=1} \
+	$(AWK) 'length($0) > 79 {print FILENAME ":" NR ": too long line"; e=1}\
 		END {exit(e)}' $<
 	echo no tabs found > $@