/usr/local/share/man does not have categories man1, man2 etc. by default, so use -D option on install, pull request included. - Githubissues

alecthomas / devtodo2

DevTodo the Second

100 stars 18 forks source link

/usr/local/share/man does not have categories man1, man2 etc. by default, so use -D option on install, pull request included. #25

Closed DenLilleMand closed 7 years ago

DenLilleMand commented 7 years ago

PR: #26