# HG changeset patch
# User Dirkjan Ochtman <dirkjan@ochtman.nl>
# Date 2008-06-24 07:34:38
# Node ID d43707e09b02e441b4b32671db10a25a6b51ab84
# Parent  1fe6f365df2e0ed6dd56b5bd9993812378506174
# Parent  2e58f1a3604682a4fdfe40817150ccc12e76b25e

merge from crew-stable

diff --git a/doc/Makefile b/doc/Makefile
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -4,6 +4,7 @@ HTML=$(SOURCES:%.txt=%.html)
 PREFIX=/usr/local
 MANDIR=$(PREFIX)/share/man
 INSTALL=install -c
+PYTHON=python
 
 all: man html
 
@@ -15,7 +16,7 @@ hg.1.txt: hg.1.gendoc.txt
 	touch hg.1.txt
 
 hg.1.gendoc.txt: ../mercurial/commands.py ../mercurial/help.py
-	python gendoc.py > $@
+	${PYTHON} gendoc.py > $@
 
 %: %.xml
 	xmlto man $*.xml ; \