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
Attachment:
pgpBddquzd9M0.pgp
Description: PGP signature