diff --git a/scripts/tools.sh b/scripts/tools.sh index 4de1eda..c845fbe 100644 --- a/scripts/tools.sh +++ b/scripts/tools.sh @@ -138,7 +138,7 @@ cat < \$@ !EOF else -if type ${docbook-to-man} > /dev/null 2>&1 +if type docbook2man > /dev/null 2>&1 then cat <