Index: client/dom/scripts/dartdomgenerator.py |
diff --git a/client/dom/scripts/dartdomgenerator.py b/client/dom/scripts/dartdomgenerator.py |
index c05c2fc38c6b7b91c36d98bf9c40063e1ccf8977..5a1b97fde7fa3bc870cdcf2d055e36ed1764fd3e 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,dummy', |
- help='Systems to generate (frog, native, dummy)') |
+ default='frog,dummy,wrapping,htmlfrog', |
+ help='Systems to generate (frog, native, dummy, ' |
+ 'htmlfrog)') |
parser.add_option('--output-dir', dest='output_dir', |
action='store', type='string', |
default=None, |