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

Поиск
Список
Период
Сортировка
От Dave Page
Тема Re: RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD
Дата
Msg-id CA+OCxozXLDrZUrzT_9pMcvFTs0Mo1iHUsOQV0UdnRNPDnGTpuQ@mail.gmail.com
обсуждение исходный текст
Ответ на RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD  (Richard PALO <richard.palo@baou.fr>)
Список pgadmin-hackers
Дерево обсуждения 
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 по дате отправления: