1 2 3 4 5
set -e # only update manual page index caches when manual files are built and installed if false; then mandb -q fi