diff options
Diffstat (limited to '')
| -rw-r--r-- | databases/postgresql74-server/files/patch-doc-Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/databases/postgresql74-server/files/patch-doc-Makefile b/databases/postgresql74-server/files/patch-doc-Makefile new file mode 100644 index 000000000000..b297cc51c80c --- /dev/null +++ b/databases/postgresql74-server/files/patch-doc-Makefile @@ -0,0 +1,11 @@ +--- doc/Makefile~ 2003-08-04 22:52:48.000000000 +0200 ++++ doc/Makefile 2008-01-07 11:53:53.000000000 +0100 +@@ -26,7 +26,7 @@ + .NOTPARALLEL: + + ifneq ($(wildcard $(srcdir)/postgres.tar.gz),) +-found_html := yes ++#found_html := yes + endif + + ifneq ($(wildcard $(srcdir)/man.tar.gz),) |