> - 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 ? -- Juliusz