doc/source/conf.py: switch back to ".html" files.

The xhtml files are invalid now (sphinx generates html5 no matter the
file extension).

diff --git a/doc/source/conf.py b/doc/source/conf.py
index 6b1bfde6a0d816b88cd05de6981cedeb95b4bf54..ac373c63699ee18f9dd8dfcf75eb374daecef203 100644 (file)
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -105,7 +105,8 @@ html_show_sphinx = False
 html_show_copyright = False
 
 # This is the file name suffix for HTML files (e.g. ".xhtml").
-html_file_suffix = ".xhtml"
+# Warning: regardless of the suffix, sphinx will generate html5.
+#html_file_suffix = ".xhtml"
 
 # Don't include the restructured text source files for the XHTML
 # pages, and don't display a link to them either.