Docs
.gitignore for the documentation build files
Merge branch 'documentation'

Conflicts:
	.gitignore