config GAWK
	bool "gawk"
	help
	  Gawk  is the GNU Project's implementation of 
	  the AWK programming language.  It conforms to 
	  the definition of the language in the 
	  POSIX 1003.2 Command Language And Utilities 
	  Standard.