diff options
Diffstat (limited to 'bin/dohtml.py')
| -rwxr-xr-x | bin/dohtml.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/dohtml.py b/bin/dohtml.py index 3e80ef5f6..3af270509 100755 --- a/bin/dohtml.py +++ b/bin/dohtml.py @@ -106,7 +106,7 @@ class OptionsClass: self.DOCDESTTREE = os.environ["_E_DOCDESTTREE_"] self.allowed_exts = ['css', 'gif', 'htm', 'html', 'jpeg', 'jpg', 'js', 'png'] - if os.environ.get("EAPI", "0") in ("4-python",): + if os.environ.get("EAPI", "0") in ("4-python", "5-progress"): self.allowed_exts += ['ico', 'svg', 'xhtml', 'xml'] self.allowed_files = [] self.disallowed_dirs = ['CVS'] |