diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/dohtml | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/bin/dohtml b/bin/dohtml index 56f95bbfa..1c707bdfd 100755 --- a/bin/dohtml +++ b/bin/dohtml @@ -31,7 +31,6 @@ import os import sys -import types def dodir(path): os.spawnlp(os.P_WAIT, "install", "install", "-d", path) @@ -160,9 +159,6 @@ def main(): (options, args) = parse_args() - if type(options.allowed_exts) == types.StringType: - options.allowed_exts = options.allowed_exts.split(",") - if options.verbose: print "Allowed extensions:", options.allowed_exts print "Document prefix : '" + options.doc_prefix + "'" |