diff options
| -rw-r--r-- | Makefile.am | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Makefile.am b/Makefile.am index 5b655206..0f9deb76 100644 --- a/Makefile.am +++ b/Makefile.am @@ -92,10 +92,8 @@ NOTES: design-notes.html TODO: todo.html AWK=$(AWK) $(SHELL) $(srcdir)/dist-tools/html2txt $(srcdir)/todo.html >$@ || { rm -f $@ ; exit 1 ; } -# man2html no longer chokes and dies on this man page, -# but manServer.pl does a much better job. fetchmail-man.html: fetchmail.man - env - PATH=$$PATH $(srcdir)/dist-tools/manServer.pl fetchmail.man >$@ \ + env - PATH=$$PATH $(srcdir)/dist-tools/manServer.pl $(srcdir)/fetchmail.man >$@ \ || { rm -f $@ ; exit 1 ; } dist-hook: |