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 change, but I don't think
this is a good idea anymore.
This issue is non-critical, and I'd like to avoid having a different
autotools environment than on any other distro.
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 if we add it to the Pkgfiles where we call
autoconf ourselves.
Comments?
Regards,
Tilman
--
A: Because it messes up the order in which people normally read text.
Q: Why is top-posting such a bad thing?
A: Top-posting.
Q: What is the most annoying thing on usenet and in e-mail?
