Postgres Pro
Downloads
Home   >   mailing lists

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

From Dave Page
Subject Re: RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD
Date
Msg-id CA+OCxozXLDrZUrzT_9pMcvFTs0Mo1iHUsOQV0UdnRNPDnGTpuQ@mail.gmail.com
Whole thread Raw
In response to RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD  (Richard PALO <richard.palo@baou.fr>)
List pgadmin-hackers
Tree view 
Thanks - applied.

On Fri, Jul 19, 2013 at 1:29 PM, Richard PALO <richard.palo@baou.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@postgresql.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

pgadmin-hackers by date:

Previous
From: Dave Page
Date:
Subject: pgAdmin III commit: Use $(MAKE) instead of make.
Next
From: Dave Page
Date:
Subject: pgAdmin III commit: Fix build for wx 2.9.5, along with an RPATH issue.