diff options
| -rwxr-xr-x | bin/dohtml | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/bin/dohtml b/bin/dohtml index 5087ca430..b94629a76 100755 --- a/bin/dohtml +++ b/bin/dohtml @@ -34,17 +34,17 @@ import sys import types def dodir(path): - os.system("install -d '%s'" % path) + os.spawnlp(os.P_WAIT, "install", "install", "-d", path) def dofile(src,dst): - - os.system("install -m0644 '%s' '%s'" % (src, dst)) + os.spawnlp(os.P_WAIT, "install", "install", "-m0644", src, dst) def install(basename, dirname, options, prefix=""): - fullpath = basename - if prefix: fullpath = prefix + "/" + fullpath - if dirname: fullpath = dirname + "/" + fullpath + if prefix: + fullpath = prefix + "/" + fullpath + if dirname: + fullpath = dirname + "/" + fullpath if options.DOCDESTTREE: destdir = options.D + "usr/share/doc/" + options.PF + "/" + options.DOCDESTTREE + "/" + options.doc_prefix + "/" + prefix |