From 45d1dae89680ca0975f4ec941d73dadf6d3dffac Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Koray=20K=C4=B1rl=C4=B1?= Date: Tue, 2 Mar 2021 00:31:11 +0100 Subject: [PATCH] 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. --- docs/conf.py | 6 +++--- docs/{INSTALL_LOCAL.md => install_local.md} | 0 docs/{INSTALL_VSCODE.md => install_vscode.md} | 0 3 files changed, 3 insertions(+), 3 deletions(-) rename docs/{INSTALL_LOCAL.md => install_local.md} (100%) rename docs/{INSTALL_VSCODE.md => install_vscode.md} (100%) diff --git a/docs/conf.py b/docs/conf.py index a02cd016..baabf490 100644 --- 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 b/docs/install_local.md similarity index 100% rename from docs/INSTALL_LOCAL.md rename to docs/install_local.md diff --git a/docs/INSTALL_VSCODE.md b/docs/install_vscode.md similarity index 100% rename from docs/INSTALL_VSCODE.md rename to docs/install_vscode.md