diff options
-rw-r--r-- | help/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/help/Makefile.am b/help/Makefile.am index a32220ada7..1e932fd24f 100644 --- a/help/Makefile.am +++ b/help/Makefile.am @@ -44,6 +44,6 @@ MAINTAINERCLEANFILES = \ # Convert the FAQ to text. faq.txt: $(srcdir)/faq.py - $(AM_V_GEN)$(srcdir)/faq.py -b >$@.tmp && \ - $(srcdir)/../tools/html2text.py $@.tmp > $@ && \ + $(AM_V_GEN)$(PYTHON) $(srcdir)/faq.py -b >$@.tmp && \ + $(PYTHON) $(srcdir)/../tools/html2text.py $@.tmp > $@ && \ rm -f $@.tmp |