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

Поиск
Список
Период
Сортировка
От Richard PALO
Тема RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD
Дата
Msg-id ksbbeh$pr0$1@ger.gmane.org
обсуждение исходный текст
Ответы Re: RTI patch using $(MAKE) instead of 'make' for SPHINX_BUILD  (Dave Page <dpage@pgadmin.org>)
Список pgadmin-hackers
Дерево обсуждения 
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

В списке pgadmin-hackers по дате отправления:

Предыдущее
От: Neel Patel
Дата:
Сообщение: Re: Materialized View Patch File
Следующее
От: Dave Page
Дата:
Сообщение: pgAdmin III commit: Use $(MAKE) instead of make.