diff options
Diffstat (limited to 'databases/postgresql80-server/files/patch-doc-makefile')
| -rw-r--r-- | databases/postgresql80-server/files/patch-doc-makefile | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/databases/postgresql80-server/files/patch-doc-makefile b/databases/postgresql80-server/files/patch-doc-makefile deleted file mode 100644 index fa27bed2af3f..000000000000 --- a/databases/postgresql80-server/files/patch-doc-makefile +++ /dev/null @@ -1,19 +0,0 @@ ---- doc/Makefile~ Sun Jan 7 03:03:22 2001 -+++ doc/Makefile Wed Apr 18 08:12:30 2001 -@@ -43,10 +43,13 @@ - gzip -d -c man.tar.gz | ( cd $(DESTDIR)$(mandir) && $(TAR) xf - ) - endif - -- - installdirs: -- $(mkinstalldirs) $(DESTDIR)$(mandir) $(DESTDIR)$(docdir)/html -- -+ifdef found_html -+ $(mkinstalldirs) $(DESTDIR)$(docdir)/html -+endif -+ifdef found_man -+ $(mkinstalldirs) $(DESTDIR)$(mandir) -+endif - - uninstall: - ifdef found_html |