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

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

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