# HG changeset patch
# User Dirkjan Ochtman <dirkjan@ochtman.nl>
# Date 1214292878 -7200
# Node ID d43707e09b02e441b4b32671db10a25a6b51ab84
# Parent  1fe6f365df2e0ed6dd56b5bd9993812378506174# Parent  2e58f1a3604682a4fdfe40817150ccc12e76b25e
merge from crew-stable

diff -r 1fe6f365df2e -r d43707e09b02 doc/Makefile
--- 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 ; \