Re: [PATCH v2 2/3] make.sh: Add check-manualpages function