diff options
Diffstat (limited to 'bin/dohtml')
| -rwxr-xr-x | bin/dohtml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bin/dohtml b/bin/dohtml index 6162b0199..56f95bbfa 100755 --- a/bin/dohtml +++ b/bin/dohtml @@ -86,11 +86,11 @@ class OptionsClass: self.D = "" self.DOCDESTTREE = "" - if os.environ.has_key("PF"): + if "PF" in os.environ: self.PF = os.environ["PF"] - if os.environ.has_key("D"): + if "D" in os.environ: self.D = os.environ["D"] - if os.environ.has_key("_E_DOCDESTTREE_"): + if "_E_DOCDESTTREE_" in os.environ: self.DOCDESTTREE = os.environ["_E_DOCDESTTREE_"] self.allowed_exts = [ 'htm', 'html', 'css', 'js', |