diff --git a/doc/html_/rst.css b/doc/html/rst.css
similarity index 100%
rename from doc/html_/rst.css
rename to doc/html/rst.css
diff --git a/doc/html_/vellipsis.gif b/doc/html/vellipsis.gif
similarity index 100%
rename from doc/html_/vellipsis.gif
rename to doc/html/vellipsis.gif