diff options
Diffstat (limited to 'databases/postgresql83-server/files/patch-doc-makefile')
| -rw-r--r-- | databases/postgresql83-server/files/patch-doc-makefile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/databases/postgresql83-server/files/patch-doc-makefile b/databases/postgresql83-server/files/patch-doc-makefile new file mode 100644 index 000000000000..fa27bed2af3f --- /dev/null +++ b/databases/postgresql83-server/files/patch-doc-makefile @@ -0,0 +1,19 @@ +--- 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 |