diff --git a/download-docs.php b/download-docs.php index 885d9ba1e..89a38b529 100644 --- a/download-docs.php +++ b/download-docs.php @@ -85,12 +85,6 @@ $formats = array( translations are based on that version. Most of the translations are not complete, and contain English parts. -
  • - The packaged HTML version of the manual (tar.gz) doesn't contain - any directories, so all of the files will be dumped into your - current working directory when you expand the archive unless the - tool you use does otherwise. -
  • If you are using Windows XP SP2 or later and you are going to download the