doc/Makefile
changeset 1814 7956893e8458
parent 1689 c6c76ead1cc1
child 1819 d657bfdc06c4
--- a/doc/Makefile	Tue Feb 28 00:46:06 2006 +0100
+++ b/doc/Makefile	Tue Feb 28 00:48:49 2006 +0100
@@ -8,6 +8,12 @@
 
 html: $(HTML)
 
+hg.1.txt: hg.1.gendoc.txt
+	touch hg.1.txt
+
+hg.1.gendoc.txt:
+	python gendoc.py > $@
+
 %: %.xml
 	xmlto man $*.xml