--- docs/Makefile.in.orig 2012-05-23 13:45:15 UTC +++ docs/Makefile.in @@ -803,7 +803,7 @@ uninstall-man: uninstall-man1 uninstall- @HAVE_MAN2HTML_TRUE@ rm -f $(HTMLMANS) @HAVE_MAN2HTML_TRUE@%.html: % -@HAVE_MAN2HTML_TRUE@ $(MAN2HTML) $* > $@ +@HAVE_MAN2HTML_TRUE@ $(MAN2HTML) < $* > $@ @HAVE_MAN2HTML_FALSE@all-local: