diff --git a/Doc/tools/sphinxext/indexsidebar.html b/Doc/tools/sphinxext/indexsidebar.html index b74c54f7579..c98cabb004c 100644 --- a/Doc/tools/sphinxext/indexsidebar.html +++ b/Doc/tools/sphinxext/indexsidebar.html @@ -1,5 +1,13 @@

Download

Download these documents

+

Docs for other versions

+ +

Other resources