diff --git a/Doc/tools/sphinxext/download.html b/Doc/tools/sphinxext/download.html index 0de9c2a0627..22a03a0d2fb 100644 --- a/Doc/tools/sphinxext/download.html +++ b/Doc/tools/sphinxext/download.html @@ -31,7 +31,7 @@ in the table are the size of the download files in megabytes.