On Tue, Jan 27, 2015 at 08:48:39 +0100, Juliusz Chroboczek wrote: > > - mkdir -p $(TARGET)$(PREFIX)/man/man8 > > - cp -f babeld.man $(TARGET)$(PREFIX)/man/man8/babeld.8 > > + mkdir -p $(TARGET)$(PREFIX)/share/man/man8 > > + cp -f babeld.man $(TARGET)$(PREFIX)/share/man/man8/babeld.8 > > I'm not sure about that. Which is more common -- /usr/local/man or > /usr/local/share/man ? > http://refspecs.linuxfoundation.org/FHS_2.3/fhs-2.3.html says "Manual pages for commands and data under /usr/local are stored in /usr/local/man.". OTOH, my Debian system's /usr/local/man is a symlink to share/man. So, I don't know...
Cheers, Julien
signature.asc
Description: Digital signature
_______________________________________________ Babel-users mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/babel-users
