Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

/usr/local/man/man1,7 are not created by make install #12

Closed
ghost opened this issue Jan 1, 2014 · 1 comment
Closed

/usr/local/man/man1,7 are not created by make install #12

ghost opened this issue Jan 1, 2014 · 1 comment

Comments

@ghost
Copy link

ghost commented Jan 1, 2014

/usr/local/man/man1 and /usr/local/man/man7 were not created using make install, and caused the script to fail. Had to create them manually before it would work.

@bentley
Copy link
Contributor

bentley commented Jan 1, 2014

Not a bug. Different Unixes have different ideas of where man pages should go; there’s no way to pick one that works everywhere. Creating the directories automatically is a bad idea, because there’s no guarantee that the created directories will be searched by man. Better to fail right away so the builder knows to set MANPREFIX properly, as documented in the readme.

The solution is to define MANPREFIX for your system. For example, on Debian and some other systems:

make install MANPREFIX=/usr/share/man

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant