diff --git a/Doc/tools/sphinxext/download.html b/Doc/tools/sphinxext/download.html index 5f625620c1c..0de9c2a0627 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.

Download (ca. 4 MB) Plain Text - Download (ca. 2 MB) + Download (ca. 2 MB) Download (ca. 1.5 MB)