On Thu Jun 6, 2024 at 6:00 PM AEST, Patrick Steinhardt wrote: > Hi, > > this is the second version of my patch series that improves linting for > the existence and/or absence of manpages. > > Changes compared to v1: > > - Converted the extracted script to be compatible with POSIX shells. > > - Fix an empty line being printed when there are no findings. > > - Silence the patched-in Makefile recipe, which otherwise leads to one > value existing twice in the converted output. > > - Fix `check_missing_docs()` to use `ALL_COMMANDS`, not `BUILT_INS`. > > Thanks! > > Patrick Thanks Patrick, this looks good to me! Learnt a few shell tricks too. Cheers, James
