From: Daniel Lezcano <dlezcano@fr.ibm.com>

Generate the man pages only if the docbook tool is available.
Signed-off-by: Daniel Lezcano <dlezcano@fr.ibm.com>