diff options
Diffstat (limited to '')
| -rw-r--r-- | databases/postgresql80-server/files/patch-doc-Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/databases/postgresql80-server/files/patch-doc-Makefile b/databases/postgresql80-server/files/patch-doc-Makefile new file mode 100644 index 000000000000..35e822272f15 --- /dev/null +++ b/databases/postgresql80-server/files/patch-doc-Makefile @@ -0,0 +1,11 @@ +--- doc/Makefile~ 2003-11-29 20:51:36.000000000 +0100 ++++ doc/Makefile 2008-01-07 11:58:07.000000000 +0100 +@@ -27,7 +27,7 @@ + + ifneq ($(wildcard $(srcdir)/postgres.tar.gz),) + ifneq (,$(docdir)) +-found_html := yes ++#found_html := yes + endif + endif + |