diff options
| -rwxr-xr-x | bin/dohtml.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/dohtml.py b/bin/dohtml.py index 122daf3f5..f0a7f2cf6 100755 --- a/bin/dohtml.py +++ b/bin/dohtml.py @@ -91,7 +91,8 @@ class OptionsClass: if "PF" in os.environ: self.PF = os.environ["PF"] - if os.environ.get("EAPI", "0") in ("0", "1", "2"): + if "force-prefix" not in os.environ.get("FEATURES", "").split() and \ + os.environ.get("EAPI", "0") in ("0", "1", "2"): self.ED = os.environ.get("D", "") else: self.ED = os.environ.get("ED", "") |