gawk 3.1.0 DEFPATH problem

[Tony Leneis]

        I just upgraded from gawk 3.0.3 to gawk 3.1.0 and discovered that
the default for AWKPATH has changed.  It used to be

.:/usr/local/share/awk

but now it's

.:/usr/local/share

I suspect this is a bug, since 3.1.0 still includes a number of files in
/usr/local/share/awk (most notably getopt.awk for me.)  I was able to solve
the problem by changing the definition of DEFPATH in the Makefile from

DEFPATH = "\".:$(datadir)\""

to

DEFPATH = "\".:$(datadir)/awk\""

This was on a Tru64 4.0F system and the Makefile was generated by running
configure without any options, if it makes a difference...

-Tony