diff options
| -rw-r--r-- | devel/directfb/files/patch-doc_Makefile.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/directfb/files/patch-doc_Makefile.in b/devel/directfb/files/patch-doc_Makefile.in new file mode 100644 index 000000000000..403a43ecd8b1 --- /dev/null +++ b/devel/directfb/files/patch-doc_Makefile.in @@ -0,0 +1,11 @@ +--- docs/Makefile.in.orig 2008-06-02 14:05:50.000000000 +0200 ++++ docs/Makefile.in 2008-06-02 14:05:58.000000000 +0200 +@@ -681,7 +681,7 @@ + @HAVE_MAN2HTML_TRUE@ rm -f $(HTMLMANS) + + @HAVE_MAN2HTML_TRUE@%.html: % +-@HAVE_MAN2HTML_TRUE@ $(MAN2HTML) $* > $@ ++@HAVE_MAN2HTML_TRUE@ $(MAN2HTML) < $* > $@ + + @HAVE_MAN2HTML_FALSE@all-local: + |