summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbin/dohtml12
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