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.

Sign up for GitHub

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

Jump to bottom

Leave config.h out of dist #132

Merged

DrDaveD merged 1 commit into master from nodist-configh

Feb 23, 2024

Owner

vasi commented Feb 23, 2024

Fixes #129

Verified that make dist no longer includes config.h
Verified that make distcheck still works
Verified that make install still installs config.h


          Leave config.h out of dist

5d17e15

vasi assigned DrDaveD

Owner Author

vasi commented Feb 23, 2024

DrDaveD approved these changes

View reviewed changes

DrDaveD merged commit 94f998c into master

7 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet