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 f7a7118fd7ba106dfcc1eb7bbff7aed723f0d6f0 (commit) from c7b776f3628256d94d62b176ccf72743f832fa45 (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/f7a7118fd7ba106dfcc1eb7bbff7aed723f0d...
commit f7a7118fd7ba106dfcc1eb7bbff7aed723f0d6f0 Author: Cyril Hrubis metan@ucw.cz Date: Thu Dec 20 17:37:14 2012 +0100
doc: Makefile: add check for source-highlight.
diff --git a/doc/Makefile b/doc/Makefile index b87a688..7bda21b 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -25,6 +25,8 @@ all: toolcheck examples.html $(PAGES) api.html toolcheck: @if [ -z `which asciidoc 2>/dev/null` ] ; then echo "ERROR: Could not find 'asciidoc'" ; exit 127 ; fi + @if [ -z `which source-highlight 2>/dev/null` ] ; then + echo "ERROR: Could not find 'source-highlight'" ; exit 127 ; fi @if [ ! -d "/usr/share/graphviz" ] ; then echo "ERROR: Could not find 'graphviz'" ; exit 127 ; fi @if [ -z `which latex 2>/dev/null` ] ; then -----------------------------------------------------------------------
Summary of changes: doc/Makefile | 2 ++ 1 files changed, 2 insertions(+), 0 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.