diff options
-rwxr-xr-x | bin/ebuild-helpers/dohtml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/ebuild-helpers/dohtml b/bin/ebuild-helpers/dohtml index 1c707bdfd..d4f245ba2 100755 --- a/bin/ebuild-helpers/dohtml +++ b/bin/ebuild-helpers/dohtml @@ -59,7 +59,9 @@ def install(basename, dirname, options, prefix=""): else: destdir = options.D + "usr/share/doc/" + options.PF + "/html/" + options.doc_prefix + "/" + prefix - if os.path.isfile(fullpath): + if not os.path.exists(fullpath): + sys.stderr.write("!!! dohtml: %s does not exist\n" % fullpath) + elif os.path.isfile(fullpath): ext = os.path.splitext(basename)[1] if (len(ext) and ext[1:] in options.allowed_exts) or basename in options.allowed_files: dodir(destdir) |