diff options
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index ecb38145..64da9273 100644 --- a/Makefile.am +++ b/Makefile.am @@ -80,7 +80,7 @@ TODO: todo.html # man2html no longer chokes and dies on this man page, # but manServer.pl does a much better job. fetchmail-man.html: fetchmail.man - $(srcdir)/dist-tools/manServer.pl fetchmail.man >$@ \ + env - PATH=$$PATH $(srcdir)/dist-tools/manServer.pl fetchmail.man >$@ \ || { rm -f $@ ; exit 1 ; } dist-hook: |