diff --git a/Doc/tools/mkpkglist b/Doc/tools/mkpkglist index 86965bb32b5..e5c346d898d 100755 --- a/Doc/tools/mkpkglist +++ b/Doc/tools/mkpkglist @@ -59,6 +59,13 @@ def get_size(prefix, ext): fn = "%s-%s%s" % (prefix, release, ext) return int(round(os.path.getsize(fn) / 1024.0)) +def get_file_cell(prefix, ext, have): + if have: + kb = get_size(prefix, ext) + return FILE_TEMPLATE % (release, prefix, release, ext, kb) + else: + return NO_FILE_TEMPLATE + for name, prefix in PKG_TYPES: zip_fn = "%s-%s.zip" % (prefix, release) tgz_fn = "%s-%s.tgz" % (prefix, release) @@ -71,23 +78,9 @@ for name, prefix in PKG_TYPES: if have_zip or have_tgz or have_bz2: print "