diff --git a/Doc/tools/sphinxext/indexcontent.html b/Doc/tools/sphinxext/indexcontent.html index bdc6e570f3e..7f8547020f1 100644 --- a/Doc/tools/sphinxext/indexcontent.html +++ b/Doc/tools/sphinxext/indexcontent.html @@ -32,7 +32,7 @@
Indices and tables:
|
- Global Module Index General Index |