Searched refs:man_role (Results 1 – 1 of 1) sorted by relevance
30 def man_role(name, rawtext, text, lineno, inliner, options={}, content=[]): function42 app.add_role('man', man_role)
Completed in 7 milliseconds