Postgres Pro
Downloads
Home   >   mailing lists

RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD - Mailing list pgadmin-hackers

From Richard PALO
Subject RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD
Date
Msg-id ksbbeh$pr0$1@ger.gmane.org
Whole thread Raw
Responses Re: RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD
List pgadmin-hackers
Tree view 
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

pgadmin-hackers by date:

Previous
From: Neel Patel
Date:
Subject: Re: Materialized View Patch File
Next
From: Dave Page
Date:
Subject: pgAdmin III commit: Use $(MAKE) instead of make.