Finn Thain c1ebc202d7 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>		2008-09-11 00:21:35 +02:00
..
tools.sh	This patch corrects the generated tools.mk when no tool to create manual	2008-09-11 00:21:35 +02:00