Searched refs:builder (Results 1 – 5 of 5) sorted by relevance
5 def update_htmlmap_links(builder,htmlmap_filename): argument12 if builder.name == "dirhtml":14 elif builder.name == "html":17 raise Exception("Unsupported builder named %s" % builder.name)
196 if app.builder.name.endswith('html'):210 if app.builder.name.endswith('html'):216 if app.builder.name == 'dirhtml':221 if app.builder.name == 'html':276 update_htmlmap_links.update_htmlmap_links(app.builder,os.path.join('manualpages','htmlmap'))
44 if app.builder.format != 'html':62 app.builder.default_translator_class,66 app.set_translator(app.builder.name, translator, override=True)
205 import builder206 builder.PETScMaker().run()
5691 (energy/rom-builder? #f)