remove --no-manual: checks manual as well