> Date: Mon, 29 Apr 2013 22:34:51 +0300 > From: Eli Zaretskii <[email protected]> > Cc: [email protected] > > > 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
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-make
