Searched defs:make_page (Results 1 - 2 of 2) sorted by relevance

/systemd/tools/
H A Dmake-directive-index.py305 def make_page(*xml_files): function
322 f.write(xml_print(make_page(*sys.argv[2:])))
H A Dmake-man-index.py123 def make_page(*xml_files): function
136 f.write(xml_print(make_page(*sys.argv[2:])))

Completed in 11 milliseconds