This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project gfxprim.git.
The branch, master has been updated via 75c90b1ae9699e0076e8006a9818a076cd345d95 (commit) from 94726f09c80a120c03ee251338f2a2800bdaa076 (commit)
Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below.
- Log ----------------------------------------------------------------- http://repo.or.cz/w/gfxprim.git/commit/75c90b1ae9699e0076e8006a9818a076cd345...
commit 75c90b1ae9699e0076e8006a9818a076cd345d95 Author: Jiri BlueBear Dluhos jiri.bluebear.dluhos@gmail.com Date: Thu Dec 20 17:17:19 2012 +0100
'make doc' checks for necessary tools.
diff --git a/doc/Makefile b/doc/Makefile index eef29cd..eb86df8 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -15,7 +15,24 @@ GENIMAGES=discrete_linear_1D_convolution_alg1 discrete_linear_1D_convolution_alg PAGES=$(subst .txt,.html,$(SOURCES)) PAGES+=$(subst .txt,.html,$(EXAMPLE_SOURCES))
-all: examples.html $(PAGES) api.html +.PHONY: toolcheck clean + +all: toolcheck examples.html $(PAGES) api.html + +# +# Check if we have all the needed tools +# +toolcheck: + @echo "Checking if documentation tools are present..." + @if [ -z `which asciidoc 2>/dev/null` ] ; then + echo "Could not find 'asciidoc'" ; exit 127 ; fi + @if [ ! -d "/usr/share/graphviz" ] ; then + echo "Could not find 'graphviz'" ; exit 127 ; fi + @if [ ! -e "/usr/lib/graphviz/python/gv.py" ] ; then + echo "Found 'graphviz' but not Python bindings" ; exit 127 ; fi + @if [ -z `which latex 2>/dev/null` ] ; then + echo "Could not find 'latex'" ; exit 127 ; fi + @echo " ...seems okay"
# # Create page for each part of API description
-----------------------------------------------------------------------
Summary of changes: doc/Makefile | 19 ++++++++++++++++++- 1 files changed, 18 insertions(+), 1 deletions(-)
repo.or.cz automatic notification. Contact project admin jiri.bluebear.dluhos@gmail.com if you want to unsubscribe, or site admin admin@repo.or.cz if you receive no reply.