remove processed man pages from the repo since they get regenerated every time anyway