I always considered it wrong to have `make install' run
`install-info'.
It's the right thing to do, because the idea of `install'
is to do all these things.
Running `install-info' as part of `make install' might have
made sense when package managers were infrequent, but now it doesn't.
`install' has nothing to do with any kind of package manager.
Its purpose is to install a package directly. If you want to
work with a package manager, you should not run `install'.
_______________________________________________
gnu-system-discuss mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/gnu-system-discuss
