missing sphinx theme from doc

[neilkatin]

This PR is in reference to issue 1202; it is a one line change to the docs to include the required sphinx theme.

[RogerSelwyn]

@alejcas this looks fine for me

@neilkatin for reference you don’t need to check-in content from the docs/latest directory tree, that is auto generated

[neilkatin]

My apologies. Any objections if I make a .gitignore file for the auto-generated documents?

[RogerSelwyn]

My apologies. Any objections if I make a .gitignore file for the auto-generated documents?

Don’t do that, because they are generated and added to the repository through a git commit. If you ignore them, then they won’t get committed.

[RogerSelwyn]

I’ll try and see if it would work with a gitignore and then committing with git add —force

[RogerSelwyn]

As I have re-remembered, you can't .gitignore files that are already tracked. The content of /docs/latest need to be tracked since that is where Sphinx build the docs to and where they are presented from.

I suspect this could be managed through a pre-commit hook, but not sure I know how to do that. It doesn't really matter too much anyway, since they will get rebuilt at merge time anyway.