From aba5f712fb869497d31c048c5bc8b499f0f07d05 Mon Sep 17 00:00:00 2001 From: Ivan Blinkov Date: Thu, 30 Jan 2020 13:39:37 +0300 Subject: [PATCH] One more static redirect --- docs/tools/build.py | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/tools/build.py b/docs/tools/build.py index 6af292e4b1c..fa11baf85dd 100755 --- a/docs/tools/build.py +++ b/docs/tools/build.py @@ -271,6 +271,7 @@ def build(args): ('tutorial.html', '/docs/en/getting_started/tutorial/',), ('reference_en.html', '/docs/en/single/', ), ('reference_ru.html', '/docs/ru/single/',), + ('docs/index.html', '/docs/en/',), ]: write_redirect_html( os.path.join(args.output_dir, static_redirect[0]),