El domingo, 14 de mayo de 2006 15:41, Daniel Stone escribió: > On Sat, May 13, 2006 at 11:37:48PM +0200, David Martínez Moreno wrote: > > What should we do about this? I am thinking of bugging upstream, but I > > would like Daniel's opinion for example, as you could have fallen into > > this pit some time ago. > > I just didn't ship it in Ubuntu. Personally I think the X.Org one is > infinitely more valuable, and that the one from manpages-dev shouldn't > be shipped, as it's not exactly the most useful thing to have around on > your system.
The trick with the DRIVER_whatever variables was nice for avoiding the
conflict, and it is simple. :-)
../configure --prefix=/usr --mandir=\$${prefix}/share/man \
--infodir=\$${prefix}/share/info $(confflags) \
DRIVER_MAN_SUFFIX=4x DRIVER_MAN_DIR=\$$\(mandir\)/man4 \ <<<-line
CFLAGS="$(CFLAGS)"
--
We accidentally replaced your heart with a baked potato. You have
about three seconds to live.
-- Dr. Doctor to Kenny (South Park).
--
Desarrollador de Debian
Debian developer
pgpFhemJnnvPS.pgp
Description: PGP signature
