Samuel Thibault, le Sun 07 Jun 2009 13:53:37 +0200, a écrit : > Sergiu Ivanov, le Sun 07 Jun 2009 13:30:12 +0300, a écrit : > > * Makefile: Define $prefix to be /usr if the user does not > > provide and override. > > Errr, no, the GNU system uses an empty prefix by default.
(yes, the Debian GNU/Hurd system uses /usr as prefix by default, but that's not GNU). Samuel
