diff options
Diffstat (limited to 'databases/postgres-xl/files/patch-doc-Makefile')
| -rw-r--r-- | databases/postgres-xl/files/patch-doc-Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/databases/postgres-xl/files/patch-doc-Makefile b/databases/postgres-xl/files/patch-doc-Makefile new file mode 100644 index 000000000000..0d0adb929fb7 --- /dev/null +++ b/databases/postgres-xl/files/patch-doc-Makefile @@ -0,0 +1,9 @@ +--- doc/Makefile.orig 2017-04-19 15:17:02 UTC ++++ doc/Makefile +@@ -12,5 +12,5 @@ subdir = doc + 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 $@ |