() Paul Eggert <egg...@cs.ucla.edu> () Mon, 09 Mar 2015 10:03:06 -0700
By tradition, Gnulib never installs anything. Perhaps that
tradition should change but it should be a conscious change,
presumably one supported by the infrastructure.
Gnulib is always changing, so installing gnulib.info guarantees
that it becomes obsolete on the next update.
Personally, i symlinked gnulib.info to $(infodir) and then did
install-info on it (which just updates $(infodir)/dir, contrary
to what its name might have you believe).
That way, the info system has access to gnulib.info, w/o it
actually being installed.
--
Thien-Thi Nguyen
GPG key: 4C807502
(if you're human and you know it)
read my lisp: (responsep (questions 'technical)
(not (via 'mailing-list)))
=> nil
signature.asc
Description: PGP signature
