diff --git a/public/html/.buildinfo b/public/.buildinfo
similarity index 100%
rename from public/html/.buildinfo
rename to public/.buildinfo
diff --git a/public/html/_images/logo_ohmpi.JPG b/public/_images/logo_ohmpi.JPG
similarity index 100%
rename from public/html/_images/logo_ohmpi.JPG
rename to public/_images/logo_ohmpi.JPG
diff --git a/public/html/_sources/index.rst.txt b/public/_sources/index.rst.txt
similarity index 100%
rename from public/html/_sources/index.rst.txt
rename to public/_sources/index.rst.txt
diff --git a/public/html/_sources/page0.rst.txt b/public/_sources/page0.rst.txt
similarity index 100%
rename from public/html/_sources/page0.rst.txt
rename to public/_sources/page0.rst.txt
diff --git a/public/html/_sources/page1.rst.txt b/public/_sources/page1.rst.txt
similarity index 100%
rename from public/html/_sources/page1.rst.txt
rename to public/_sources/page1.rst.txt
diff --git a/public/html/_static/basic.css b/public/_static/basic.css
similarity index 100%
rename from public/html/_static/basic.css
rename to public/_static/basic.css
diff --git a/public/html/_static/classic.css b/public/_static/classic.css
similarity index 100%
rename from public/html/_static/classic.css
rename to public/_static/classic.css
diff --git a/public/html/_static/doctools.js b/public/_static/doctools.js
similarity index 100%
rename from public/html/_static/doctools.js
rename to public/_static/doctools.js
diff --git a/public/html/_static/documentation_options.js b/public/_static/documentation_options.js
similarity index 100%
rename from public/html/_static/documentation_options.js
rename to public/_static/documentation_options.js
diff --git a/public/html/_static/file.png b/public/_static/file.png
similarity index 100%
rename from public/html/_static/file.png
rename to public/_static/file.png
diff --git a/public/html/_static/jquery-3.5.1.js b/public/_static/jquery-3.5.1.js
similarity index 100%
rename from public/html/_static/jquery-3.5.1.js
rename to public/_static/jquery-3.5.1.js
diff --git a/public/html/_static/jquery.js b/public/_static/jquery.js
similarity index 100%
rename from public/html/_static/jquery.js
rename to public/_static/jquery.js
diff --git a/public/html/_static/language_data.js b/public/_static/language_data.js
similarity index 100%
rename from public/html/_static/language_data.js
rename to public/_static/language_data.js
diff --git a/public/html/_static/minus.png b/public/_static/minus.png
similarity index 100%
rename from public/html/_static/minus.png
rename to public/_static/minus.png
diff --git a/public/html/_static/plus.png b/public/_static/plus.png
similarity index 100%
rename from public/html/_static/plus.png
rename to public/_static/plus.png
diff --git a/public/html/_static/pygments.css b/public/_static/pygments.css
similarity index 100%
rename from public/html/_static/pygments.css
rename to public/_static/pygments.css
diff --git a/public/html/_static/searchtools.js b/public/_static/searchtools.js
similarity index 100%
rename from public/html/_static/searchtools.js
rename to public/_static/searchtools.js
diff --git a/public/html/_static/sidebar.js b/public/_static/sidebar.js
similarity index 100%
rename from public/html/_static/sidebar.js
rename to public/_static/sidebar.js
diff --git a/public/html/_static/underscore-1.3.1.js b/public/_static/underscore-1.3.1.js
similarity index 100%
rename from public/html/_static/underscore-1.3.1.js
rename to public/_static/underscore-1.3.1.js
diff --git a/public/html/_static/underscore.js b/public/_static/underscore.js
similarity index 100%
rename from public/html/_static/underscore.js
rename to public/_static/underscore.js
diff --git a/public/html/genindex.html b/public/genindex.html
similarity index 100%
rename from public/html/genindex.html
rename to public/genindex.html
diff --git a/public/html/index.html b/public/index.html
similarity index 100%
rename from public/html/index.html
rename to public/index.html
diff --git a/public/html/objects.inv b/public/objects.inv
similarity index 100%
rename from public/html/objects.inv
rename to public/objects.inv
diff --git a/public/html/page0.html b/public/page0.html
similarity index 100%
rename from public/html/page0.html
rename to public/page0.html
diff --git a/public/html/page1.html b/public/page1.html
similarity index 100%
rename from public/html/page1.html
rename to public/page1.html
diff --git a/public/html/search.html b/public/search.html
similarity index 100%
rename from public/html/search.html
rename to public/search.html
diff --git a/public/html/searchindex.js b/public/searchindex.js
similarity index 100%
rename from public/html/searchindex.js
rename to public/searchindex.js