diff options
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 28338b7c..3757544d 100644 --- a/Makefile.am +++ b/Makefile.am @@ -176,7 +176,7 @@ TODO: todo.html $(srcdir)/dist-tools/html2txt AWK=$(AWK) $(SHELL) $(srcdir)/dist-tools/html2txt $(srcdir)/todo.html >$@ || { rm -f $@ ; exit 1 ; } fetchmail-man.html: fetchmail.man $(srcdir)/dist-tools/manServer.pl - env - PATH=$$PATH $(srcdir)/dist-tools/manServer.pl $(srcdir)/fetchmail.man >$@ \ + env - "PATH=$$PATH" $(srcdir)/dist-tools/manServer.pl $(srcdir)/fetchmail.man >$@ \ || { rm -f $@ ; exit 1 ; } dist-hook: |