--- doc/Makefile.am.orig	2008-07-01 14:24:11.000000000 +0200
+++ doc/Makefile.am	2008-07-01 14:24:38.000000000 +0200
@@ -115,10 +115,10 @@
 	$(unset_envvars); $(HELP2MAN) --name="convert Texinfo documents to DVI" $(util_srcdir)/texi2dvi >$@
 
 $(srcdir)/texi2pdf.1: $(common_texi2dvi_deps)
-	$(unset_envvars); $(HELP2MAN) --name="convert Texinfo documents to PDF" $(util_srcdir)/texi2pdf >$@
+	$(unset_envvars); PATH="$(util_srcdir):$${PATH}"; export PATH; $(HELP2MAN) --name="convert Texinfo documents to PDF" $(util_srcdir)/texi2pdf >$@
 
 $(srcdir)/pdftexi2dvi.1:  $(common_texi2dvi_deps)
-	$(unset_envvars); $(HELP2MAN) --name="convert Texinfo documents to PDF" $(util_srcdir)/pdftexi2dvi >$@
+	$(unset_envvars); PATH="$(util_srcdir):$${PATH}"; export PATH; $(HELP2MAN) --name="convert Texinfo documents to PDF" $(util_srcdir)/pdftexi2dvi >$@
 
 # Do not create info files for distribution.
 dist-info: