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

From: Dave Page <dpage(at)pgadmin(dot)org>
To: Richard PALO <richard(dot)palo(at)baou(dot)fr>
Cc: pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org>
Subject: Re: RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD
Date: 2013-07-19 12:48:14
Message-ID: CA+OCxozXLDrZUrzT_9pMcvFTs0Mo1iHUsOQV0UdnRNPDnGTpuQ@mail.gmail.com
Views: Whole Thread | Raw Message | Download mbox | Resend email
Thread:
Lists: pgadmin-hackers

Thanks - applied.

On Fri, Jul 19, 2013 at 1:29 PM, Richard PALO <richard(dot)palo(at)baou(dot)fr> wrote:
> 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
>
>
>
> --
> Sent via pgadmin-hackers mailing list (pgadmin-hackers(at)postgresql(dot)org)
> To make changes to your subscription:
> http://www.postgresql.org/mailpref/pgadmin-hackers

--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake

EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company

In response to

Browse pgadmin-hackers by date

  From Date Subject
Next Message Dave Page 2013-07-19 13:08:22 pgAdmin III commit: Fix build for wx 2.9.5, along with an RPATH issue.
Previous Message Dave Page 2013-07-19 12:41:33 pgAdmin III commit: Use $(MAKE) instead of make.