Lines Matching defs:man
44 # Do not edit. Generated by make-man-rules.py.
46 # 1. Create, update, or remove source .xml files in man/
47 # 2. Run 'make update-man-list'
48 # 3. Run 'make man' to generate manpages
50 # To make a man page conditional on a configure switch add
68 def man(page, number):
69 return 'man/{}.{}'.format(page, number)
72 return 'man/{}'.format(os.path.basename(file))
85 target = man(refnames[0].text, number)
91 alias = man(refname.text, number)