From 41c49022ab63beb1168cef9da8455479a4cbf83c Mon Sep 17 00:00:00 2001 From: Max Khon Date: Thu, 19 Dec 2013 15:44:05 +0000 Subject: - Update to 1.18.1 [1] - Convert to stage PR: 184049 [1] Submitted by: Marc Peters --- databases/pgadmin3/files/patch-Makefile.in | 11 ----------- 1 file changed, 11 deletions(-) delete mode 100644 databases/pgadmin3/files/patch-Makefile.in (limited to 'databases/pgadmin3/files') diff --git a/databases/pgadmin3/files/patch-Makefile.in b/databases/pgadmin3/files/patch-Makefile.in deleted file mode 100644 index b3b5753c7e26..000000000000 --- a/databases/pgadmin3/files/patch-Makefile.in +++ /dev/null @@ -1,11 +0,0 @@ ---- Makefile.in.orig 2012-11-04 18:15:35.000000000 +0700 -+++ Makefile.in 2012-11-04 18:15:45.000000000 +0700 -@@ -956,7 +956,7 @@ - - # Create HTML docs - doc: --@SPHINX_BUILD_TRUE@ cd $(top_srcdir)/docs/en_US && make -f Makefile.sphinx SPHINXBUILD=${SPHINX_BUILD} htmlhelp -+@SPHINX_BUILD_TRUE@ cd $(top_srcdir)/docs/en_US && ${MAKE} -f Makefile.sphinx SPHINXBUILD=${SPHINX_BUILD} htmlhelp - - all: doc - -- cgit v1.2.3