diff options
| -rwxr-xr-x | Doc/tools/mkpkglist | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/Doc/tools/mkpkglist b/Doc/tools/mkpkglist index 2c51ee7..1a1fd78 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 " <tr><td>%s</td>" % name - - print get_file_cell(prefix, ".zip", have_zip) - print get_file_cell(prefix, ".tgz", have_tgz) - print get_file_cell(prefix, ".tar.bz2", have_bz2) - - print " </tr>" + have_some = have_zip or have_tgz or have_bz2 + + if not have_some: + print " <!--" + print " <tr><td>%s</td>" % name + print get_file_cell(prefix, ".zip", have_zip) + print get_file_cell(prefix, ".tgz", have_tgz) + print get_file_cell(prefix, ".tar.bz2", have_bz2) + print " </tr>" + if not have_some: + print " -->" print '''\ </tbody> |