merge from crew-stable
authorDirkjan Ochtman <dirkjan@ochtman.nl>
Tue, 24 Jun 2008 09:34:38 +0200
changeset 6725 d43707e09b02
parent 6723 1fe6f365df2e (current diff)
parent 6724 2e58f1a36046 (diff)
child 6726 e85951aeec6e
merge from crew-stable
--- a/doc/Makefile	Mon Jun 23 15:02:52 2008 +0200
+++ b/doc/Makefile	Tue Jun 24 09:34:38 2008 +0200
@@ -4,6 +4,7 @@
 PREFIX=/usr/local
 MANDIR=$(PREFIX)/share/man
 INSTALL=install -c
+PYTHON=python
 
 all: man html
 
@@ -15,7 +16,7 @@
 	touch hg.1.txt
 
 hg.1.gendoc.txt: ../mercurial/commands.py ../mercurial/help.py
-	python gendoc.py > $@
+	${PYTHON} gendoc.py > $@
 
 %: %.xml
 	xmlto man $*.xml ; \