We should gitignore the whole build folder; no sense checking in generated artifacts, especially when the HTML version is up on readthedocs.