diff options
Diffstat (limited to 'databases/postgresql73-server/files/patch-doc-Makefile')
| -rw-r--r-- | databases/postgresql73-server/files/patch-doc-Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/databases/postgresql73-server/files/patch-doc-Makefile b/databases/postgresql73-server/files/patch-doc-Makefile new file mode 100644 index 000000000000..53a4622703b7 --- /dev/null +++ b/databases/postgresql73-server/files/patch-doc-Makefile @@ -0,0 +1,11 @@ +--- doc/Makefile~ 2002-11-28 00:21:20.000000000 +0100 ++++ doc/Makefile 2008-01-07 11:50:06.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),) |