From c1ebc202d7fc015710bed65c8b931c380a92e1d4 Mon Sep 17 00:00:00 2001
From: Finn Thain <fthain@telegraphics.com.au>
Date: Thu, 11 Sep 2008 00:21:35 +0200
Subject: [PATCH] This patch corrects the generated tools.mk when no tool to
 create manual from docbook is found

Original patch has been modified to send message to >&2 instead of /dev/stderr
and to stop make.

Signed-off-by: Finn Thain <fthain@telegraphics.com.au>
Signed-off-by: Laurent Vivier <Laurent@lvivier.info>
---
 scripts/tools.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/scripts/tools.sh b/scripts/tools.sh
index c55c0df..4911c34 100644
--- a/scripts/tools.sh
+++ b/scripts/tools.sh
@@ -153,10 +153,12 @@ cat <<!EOF
 !EOF
 else
  
+cat <<!EOF
 %.5: %.sgml
-	echo "Missing tools to generate \$@ from \$<"
+	@echo "Missing tools to generate \$@ from \$<" >&2 && false
  
 %.8: %.sgml
-	echo "Missing tools to generate \$@ from \$<"
+	@echo "Missing tools to generate \$@ from \$<" >&2 && false
+!EOF
 fi
 fi