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

Reply via email to