Tell Git to ignore the generated man page

The project creates the man page by running Pandoc on another file so
we have no reason to actually track the man page itself.  Tracking all
changes to the document that creates it is all we need.