| 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,
|
|
|