summaryrefslogtreecommitdiff
path: root/databases/pgadmin3/files/patch-Makefile.in
blob: b3b5753c7e26d6dfff8953d26665838d3acc4d60 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
--- Makefile.in.orig	2012-11-04 18:15:35.000000000 +0700
+++ Makefile.in	2012-11-04 18:15:45.000000000 +0700
@@ -956,7 +956,7 @@
 
 # Create HTML docs
 doc:
-@SPHINX_BUILD_TRUE@	cd $(top_srcdir)/docs/en_US && make -f Makefile.sphinx SPHINXBUILD=${SPHINX_BUILD} htmlhelp
+@SPHINX_BUILD_TRUE@	cd $(top_srcdir)/docs/en_US && ${MAKE} -f Makefile.sphinx SPHINXBUILD=${SPHINX_BUILD} htmlhelp
 
 all: doc