Create a special build for ReadTheDocs.org with .html files instead of .php