diff options
author | Max Khon <fjoe@FreeBSD.org> | 2012-11-05 12:33:48 +0000 |
---|---|---|
committer | Max Khon <fjoe@FreeBSD.org> | 2012-11-05 12:33:48 +0000 |
commit | bd850c0b9ea2840811bbf343b23e51ea9ba91114 (patch) | |
tree | 35a7d9b9398202b9c68eb17589d2d9919cb70038 /databases/pgadmin3/files | |
parent | 5af7a8f02e2e5d2b49d82d4e8a62df47e28b65e4 (diff) | |
download | ports-bd850c0b9ea2840811bbf343b23e51ea9ba91114.tar.gz ports-bd850c0b9ea2840811bbf343b23e51ea9ba91114.zip |
- Build and install docs
- Bump PORTREVISION
Feature safe: yes
Notes
Notes:
svn path=/head/; revision=307003
Diffstat (limited to 'databases/pgadmin3/files')
-rw-r--r-- | databases/pgadmin3/files/patch-Makefile.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/databases/pgadmin3/files/patch-Makefile.in b/databases/pgadmin3/files/patch-Makefile.in new file mode 100644 index 000000000000..b3b5753c7e26 --- /dev/null +++ b/databases/pgadmin3/files/patch-Makefile.in @@ -0,0 +1,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 + |