-
Notifications
You must be signed in to change notification settings - Fork 8
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
Generate man page as part of release process #38
Comments
Thinking about this a little, ideally this would be part of the build process rather than the release generation process. That way |
The one complication is that if So changes I need to make:
|
Revised plan! I had forgotten that I still would really like |
Ok! I can write a shell script to generate the Debian package. If I remove the man page from the repo,
so at least I don't need to worry about it producing a broken package silently. |
Hmm, actually, I still can generate a broken package if I don't consistently clean up the generated file. Ideally I'd generate the file in a tempdir ( So I'm not seeing an easy way to guarantee that |
Fixed now! I can't see any reason to make a new release for the change, but I tested the CI by pushing the |
Right now I generate the man page by manually running
scripts/generate-man.sh
, and include the gzipped man page in the repo. Ideally there shouldn't be generated files in the repo, and instead, generating the man page should be part of the release generation process.It'll take a little poking around to figure out the cleanest way to do this.
The text was updated successfully, but these errors were encountered: