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
propagate documentation updates #95
Conversation
A new Pull Request was created by @kpedro88 (Kevin Pedro) for branch master. @cmsbuild, @smuzaffar, @gudrutis, @mrodozov can you please review it and eventually sign? Thanks. external issue cms-sw/cmsdist#3826 |
@kpedro88 , I do not remember why this was not done with in spec file. I would suggest to drop all the generated files and we run |
Pull request #95 was updated. external issue cms-sw/cmsdist#3826 |
@smuzaffar yes, that would make more sense. I updated this PR to remove the generated files, and updated the makefile to create the output dir before trying to fill it (while ignoring it in .gitignore). |
Pull request #95 was updated. external issue cms-sw/cmsdist#3826 |
can you update the spec file? |
spec is updated : cms-sw/cmsdist#3837 |
I finally figured out the right way to propagate man page updates here:
doc/man
make
-> updates the files indoc/man/man1
I touched all the files (to pull in earlier updates that hadn't been propagated with
make
) and made a few more fixes.