AWK file extension =? .awk , .w , .k , or .what?

[mike hummell]

We're using awk (i.e. nawk) a lot lately, and wonder what the world uses
for a file extension on awk source files.  ".a" is used for assemble code,
so we suppose people use ".awk", although a one-letter extension would be
nice.  Is there any standard?

--------------------------------------------------------------------------
"Si Vis Pacem, Para Bellum"  --  Vegetius
--------------------------------------------------------------------------
ARPA:                   mike at lll-lcc.llnl.gov         (mike at lll-lcc.arpa) 
UUCP:                   { sun,lll-crg,rutgers }!lll-lcc!mike
U.S. MAIL:              LLNL ; P.O. Box 808 , L-363 ; Livermore, CA. 94550
Phone:  		office: (415)422-3922  	  home: (415)449-9064
--------------------------------------------------------------------------