def get_html_path(path):
 path = os.path.splitext(path)[0]
 if (os.path.basename(path) == u'index'):
  return (path + u'.html')
 return u'/'.join((path, u'index.html'))

def get_html_path ( path ) : path = os . path . splitext ( path ) [ 0 ] if ( os . path . basename ( path ) == u'index' ) : return ( path + u'.html' ) return u'/' . join ( ( path , u'index.html' ) )
map a source file path to an output html path .