[sr-dev] git:master: add generated man pages to git ignore list, reported from Ovidiu