diff options
Diffstat (limited to 'databases/postgresql95-server/files/patch-doc-Makefile')
| -rw-r--r-- | databases/postgresql95-server/files/patch-doc-Makefile | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/databases/postgresql95-server/files/patch-doc-Makefile b/databases/postgresql95-server/files/patch-doc-Makefile deleted file mode 100644 index d5176bfb64b5..000000000000 --- a/databases/postgresql95-server/files/patch-doc-Makefile +++ /dev/null @@ -1,9 +0,0 @@ ---- doc/Makefile.orig 2015-10-08 21:45:57.360084007 +0200 -+++ doc/Makefile 2015-10-08 21:46:04.353084097 +0200 -@@ -12,5 +12,5 @@ - top_builddir = .. - include $(top_builddir)/src/Makefile.global - --all distprep html man install installdirs uninstall clean distclean maintainer-clean: -+all distprep man install installdirs uninstall clean distclean maintainer-clean: - $(MAKE) -C src $@ |