Hi,
On Mon, Aug 21, 2006 at 13:29:02 +0200, Mark Rosenstand wrote:
On Sun, 2006-08-20 at 14:15 +0200, Tilman Sauerbeck wrote:
[...]
We'll have to add --mandir=/usr/man to more configure lines in the
next few months anyway, while projects update autoconf to 2.60, so it
doesn't really matter
Hi,
when I updated autoconf to 2.60 some weeks ago, Matt noticed that it
broke grub (in grub's Pkgfile, we regenerate configure because we need
to patch configure.in). With autoconf 2.60, the default mandir changed
from /usr/man to /usr/share/man.
We decided to patch autoconf to revert this