resolve file name capitalization

There was a difference between local and rtd builds, turned out to be because of case insensitive os ignoring file renaming.
ghga-de · Mar 2, 2021 · 9b9059d · 9b9059d
1 parent 77e10e7
commit 9b9059d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -58,9 +58,9 @@
 html_theme_path = ["_themes", ]
 html_logo = "img/logo.png"
 
-# html_theme_options = {
-#     'logo_only': True
-#     }
+html_theme_options = {
+    'logo_only': True
+    }
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".

diff --git a/docs/INSTALL_LOCAL.md → docs/install_local.md b/docs/INSTALL_LOCAL.md → docs/install_local.md
diff --git a/docs/INSTALL_VSCODE.md → docs/install_vscode.md b/docs/INSTALL_VSCODE.md → docs/install_vscode.md