contrib: skip missing binaries in gen-manpages #30986

1. 
   andremralves commented at 9:37 pm on September 26, 2024: none

   Instead of stopping the execution of gen-manpages.py when a binary is not found, continue generating manpages for the available binaries and skip the missing ones.

   closes #30985

2. contrib: skip missing binaries in gen-manpages

   Instead of stopping the execution of gen-manpages.py when a binary
   is not found, continue generating manpages for the available binaries
   and skip the missing ones.

   ceb79ffdbc
3. 
   DrahtBot commented at 9:38 pm on September 26, 2024: contributor

   The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.

   Code Coverage

   For detailed information about the code coverage, see the test coverage report.

   Reviews

   See the guideline for information on the review process. A summary of reviews will appear here.

4. DrahtBot added the label Scripts and tools on Sep 26, 2024

Contributors
andremralves DrahtBot

Labels
Scripts and tools