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: | Raw Message | Whole Thread | 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
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. |