Index: client/dom/scripts/dartdomgenerator.py |
diff --git a/client/dom/scripts/dartdomgenerator.py b/client/dom/scripts/dartdomgenerator.py |
index 679536ba8fd09b2d6500c0430865c11bfc95a928..d3fb8b150b1053bba3d5bdf59e3b99421fd2fda3 100755 |
--- a/client/dom/scripts/dartdomgenerator.py |
+++ b/client/dom/scripts/dartdomgenerator.py |
@@ -90,8 +90,9 @@ def main(): |
parser = optparse.OptionParser() |
parser.add_option('--systems', dest='systems', |
action='store', type='string', |
- default='frog,wrapping', |
- help='Systems to generate (frog, native, wrapping)') |
+ default='frog,wrapping,htmlfrog', |
+ help='Systems to generate (frog, native, wrapping, ' |
+ 'htmlfrog)') |
parser.add_option('--output-dir', dest='output_dir', |
action='store', type='string', |
default=None, |