dohtml: fix DOCDESTTREE path join

When DOCDESTTREE begins with a leading slash, it caused os.path.join()
to misbehave since commit 3f67cb453ee1b74894c230459b43855db7fcc410.

diff --git a/bin/dohtml.py b/bin/dohtml.py
index 37d5b2ee22bd8eea96173a2757c47d4a35a4f0e5..500c523556e3542e3ed22c998433013b62ea018f 100755 (executable)
--- a/bin/dohtml.py
+++ b/bin/dohtml.py
@@ -77,7 +77,7 @@ def install(basename, dirname, options, prefix=""):
                desttree = "html"
 
        destdir = os.path.join(options.ED, "usr", "share", "doc",
-               options.PF.lstrip(os.sep), desttree,
+               options.PF.lstrip(os.sep), desttree.lstrip(os.sep),
                options.doc_prefix.lstrip(os.sep), prefix).rstrip(os.sep)
 
        if not os.path.exists(fullpath):