Searched refs:__write_index (Results 1 – 1 of 1) sorted by relevance
52 def __write_index( filename, index ): function118 __write_index( os.path.join( build_dir, 'concepts.gen' ), concept_index )119 __write_index( os.path.join( build_dir, 'index.gen' ), index )