Using Xubuntu 11.10
I am learning gawk. I would like to get the gawk library of functions mentioned in the gawk users guide. The guide mentions extracting it from the gawk.texi with
extract.awk, but I find that a bit too hard.
Is there a place where I can just download it?