RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD

From: Richard PALO <richard(dot)palo(at)baou(dot)fr>
To: pgadmin-hackers(at)postgresql(dot)org
Subject: RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD
Date: 2013-07-19 12:29:12
Message-ID: ksbbeh$pr0$1@ger.gmane.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgadmin-hackers

The following patches eases integration with pkgsrc... it would be nice
to integrate into the upcoming release.

diff --git a/Makefile.am b/Makefile.am
index d271d52..d98280a 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -95,7 +95,7 @@ style:
# Create HTML docs
doc:
if SPHINX_BUILD
- cd $(top_srcdir)/docs/en_US && make -f Makefile.sphinx
SPHINXBUILD=${SPHINX_BUILD} htmlhelp
+ cd $(top_srcdir)/docs/en_US && $(MAKE) -f Makefile.sphinx
SPHINXBUILD=${SPHINX_BUILD} htmlhelp
endif

all: doc

Responses

Browse pgadmin-hackers by date

  From Date Subject
Next Message Dave Page 2013-07-19 12:41:33 pgAdmin III commit: Use $(MAKE) instead of make.
Previous Message Neel Patel 2013-07-19 09:14:27 Re: Materialized View Patch File