Use Read the Docs (RTD) for the documentation

[ariya]

The simplistic documentation available on the web site will not be sufficient anymore. For instance, it does not facilitate easy per-version documentation or a search capability.

At this point, it is just easier to leverage Read the Docs to generate and host the documentation.

Some important advantages:

• per-version documentation
• integrated search function
• PDF generation