Enable html_dartium to be built as part of dartium build

lib/dom/scripts/dartdomgenerator.py

 #!/usr/bin/python
 # Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 # for details. All rights reserved. Use of this source code is governed by a
 # BSD-style license that can be found in the LICENSE file.
 
 """This is the entry point to create Dart APIs from the IDL database."""
 
 import dartgenerator
 import database
 import logging.config
@@ skipping 100 matching lines @@
                      module_source_preference = ['WebKit', 'Dart'],
                      source_filter = ['WebKit', 'Dart'],
                      super_database = common_database,
                      common_prefix = 'common',
                      super_map = webkit_renames_inverse,
                      html_map = html_renames_inverse,
                      systems = systems)
 
   generator.Flush()
 
+def GenerateSingleFile(systems):

[sra1, 2012/04/19 18:17:10]

Since many systems are active in one run, 'Single' is a bit of a misnomer.

MovePackagedFilesToDestinations ?

   if 'frog' in systems:
     _logger.info('Copy dom_frog to frog/')
     subprocess.call(['cd ../generated ; '
                      '../../../tools/copy_dart.py ../frog dom_frog.dart'],
                     shell=True);
 
   if 'htmlfrog' in systems:
     _logger.info('Copy html_frog to ../html/frog/')
     subprocess.call(['cd ../../html/generated ; '
                      '../../../tools/copy_dart.py ../frog html_frog.dart'],
@@ skipping 39 matching lines @@
 
   database_dir = os.path.join(current_dir, '..', 'database')
   use_database_cache = options.use_database_cache
   logging.config.fileConfig(os.path.join(current_dir, 'logging.conf'))
 
   if dom_systems:
     output_dir = options.output_dir or os.path.join(current_dir,
         '../generated')
     GenerateDOM(dom_systems, False, output_dir,
                 database_dir, use_database_cache)
+    GenerateSingleFile(dom_systems)
 
   if html_systems:
     output_dir = options.output_dir or os.path.join(current_dir,
         '../../html/generated')
     GenerateDOM(html_systems, True, output_dir,
                 database_dir, use_database_cache or dom_systems)
+    GenerateSingleFile(html_systems)
 
 if __name__ == '__main__':
   sys.exit(main())