Use $(PYTHON), not python, to create version.itexi

diff --git a/stepmake/stepmake/texinfo-rules.make b/stepmake/stepmake/texinfo-rules.make
index 84f2894774abb7675f7be5a302c252ee39f9d429..6be8c5f078ee7c011ab4b98464e3a50e7a17a545 100644 (file)
--- a/stepmake/stepmake/texinfo-rules.make
+++ b/stepmake/stepmake/texinfo-rules.make
@@ -63,7 +63,7 @@ $(outdir)/version.%: $(top-src-dir)/VERSION
        echo $(TOPLEVEL_VERSION)>> $@
        echo '@end macro'>> $@
        echo ''>> $@
-       python $(top-src-dir)/scripts/build/create-version-itexi.py >> $@
+       $(PYTHON) $(top-src-dir)/scripts/build/create-version-itexi.py >> $@
 
 .SECONDARY: $(outdir)/version.itexi $(outdir)/version.texi \
   $(outdir)/$(INFO_IMAGES_DIR).info-images-dir-dep \