Exclude manpages that are in the repo

The manpages in the repo are just dev fixtures.
This hopefully fixes manual/en/index.php reporting old build dates