diff --git a/Documentation/index.html.in b/Documentation/index.html.in index f93f34d..8f5ad60 100644 --- a/Documentation/index.html.in +++ b/Documentation/index.html.in @@ -145,9 +145,15 @@ in PDF) -

NOTE: like every HTML page in this - documentation, you can find at bottom links to translations of - this page in other languages. +

+ All the documentation you read from this page is available for + download + as a tarball. +

+

+ Like every HTML page in this documentation, you can find at + bottom links to translations of this page in + other languages.