> Date: Mon, 29 Apr 2013 22:34:51 +0300
> From: Eli Zaretskii <e...@gnu.org>
> Cc: bug-make@gnu.org
>
> > Also we don't really have a precedent of a "make-specific" directory
> > like that.
>
> Gawk puts them into ${prefix}/lib/gawk.
Correction: ${prefix}/lib/gawk-extensions.
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
