diff --git a/Doc/tools/mkpkglist b/Doc/tools/mkpkglist index 2c51ee75e88..1a1fd78f2b9 100755 --- a/Doc/tools/mkpkglist +++ b/Doc/tools/mkpkglist @@ -67,14 +67,17 @@ for name, prefix in PKG_TYPES: have_tgz = isfile(tgz_fn) have_bz2 = isfile(bz2_fn) - if have_zip or have_tgz or have_bz2: - print "