def page_to_html_path(page):
 source_path = page.sources_relative_to_buildroot()[0]
 return (os.path.splitext(source_path)[0] + u'.html')

def page_to_html_path ( page ) : source_path = page . sources_relative_to_buildroot ( ) [ 0 ] return ( os . path . splitext ( source_path ) [ 0 ] + u'.html' )
given a page target .