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

@@ -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