What's the benefit and how much do we gain? What we gain is that we don't have to do anything. No need to run install-info to update /share/info/dir, it just happens.
_______________________________________________ gnu-system-discuss mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gnu-system-discuss
