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

Makefile does not create man1 directory properly #259

Merged
merged 1 commit into from
May 11, 2023

Conversation

jasyip
Copy link
Contributor

@jasyip jasyip commented May 11, 2023

Since the addition of the man 1, the Makefile doesn't properly ensure that $(DESTDIR)$(PREFIX)/share/man/man1/ exists, causing an install error if it doesn't exist.

@b3nj5m1n
Copy link
Owner

Thanks for the fix and for bringing this to my attention so quickly, apparently this isn't covered by CI yet.

@b3nj5m1n b3nj5m1n merged commit a9bc919 into b3nj5m1n:main May 11, 2023
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

Successfully merging this pull request may close these issues.

2 participants