comparison doc/Makefile @ 1814:7956893e8458

generate hg manpage from commands.py docstring gendoc.py is a script generating a part of the manpage (the commands help and options) from the docstring in commands.py. It avoids duplicating the doc between the doc/ directory and the docstrings. To generate the manpage, 'make doc' will create all the necessary intermediate files.
author Benoit Boissinot <benoit.boissinot@ens-lyon.org>
date Tue, 28 Feb 2006 00:48:49 +0100
parents c6c76ead1cc1
children d657bfdc06c4
comparison
equal deleted inserted replaced
1811:6cb548cffdf5 1814:7956893e8458
5 all: man html 5 all: man html
6 6
7 man: $(MAN) 7 man: $(MAN)
8 8
9 html: $(HTML) 9 html: $(HTML)
10
11 hg.1.txt: hg.1.gendoc.txt
12 touch hg.1.txt
13
14 hg.1.gendoc.txt:
15 python gendoc.py > $@
10 16
11 %: %.xml 17 %: %.xml
12 xmlto man $*.xml 18 xmlto man $*.xml
13 19
14 %.xml: %.txt 20 %.xml: %.txt