Searched refs:make_index (Results 1 - 1 of 1) sorted by relevance

/systemd/tools/
H A Dmake-man-index.py77 def make_index(pages): function
125 index = make_index(xml_files)

Completed in 18 milliseconds