Git: do not track built documentation.
Merge pull request #478 from mightyiam/git-ignore-built-docs

Git: do not track built documentation.