svgui/pyjs/build.py
changeset 1741 dd94b9a68c61
parent 1739 ec153828ded2
child 1742 92932cd370a4
equal deleted inserted replaced
1740:b789b695b5c6 1741:dd94b9a68c61
   239     copy_boilerplate(data_dir, "corner_dialog_edge.png", output)
   239     copy_boilerplate(data_dir, "corner_dialog_edge.png", output)
   240     copy_boilerplate(data_dir, "tree_closed.gif", output)
   240     copy_boilerplate(data_dir, "tree_closed.gif", output)
   241     copy_boilerplate(data_dir, "tree_open.gif", output)
   241     copy_boilerplate(data_dir, "tree_open.gif", output)
   242     copy_boilerplate(data_dir, "tree_white.gif", output)
   242     copy_boilerplate(data_dir, "tree_white.gif", output)
   243     copy_boilerplate(data_dir, "history.html", output)
   243     copy_boilerplate(data_dir, "history.html", output)
   244 
       
   245 
   244 
   246     ## all.cache.html
   245     ## all.cache.html
   247     app_files = generateAppFiles(data_dir, js_includes, app_name, debug,
   246     app_files = generateAppFiles(data_dir, js_includes, app_name, debug,
   248                                  output, dynamic, cache_buster, optimize)
   247                                  output, dynamic, cache_buster, optimize)
   249 
   248