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