From: Tobias Ulmer Date: Fri, 1 Feb 2013 17:42:05 +0000 (+0100) Subject: tools: add "man" tool. X-Git-Tag: e2factory-2.3.13rc1~33 X-Git-Url: https://git.e2factory.org/?a=commitdiff_plain;h=1d5d7a291a9938b0170e87a4dcd1c6808c36a1e0;p=e2factory.git tools: add "man" tool. Signed-off-by: Tobias Ulmer --- diff --git a/generic/tools.lua b/generic/tools.lua index 4170364..9bfc015 100644 --- a/generic/tools.lua +++ b/generic/tools.lua @@ -42,6 +42,7 @@ local toollist = { git = { name = "git", flags = "", optional = false }, cvs = { name = "cvs", flags = "", optional = true }, svn = { name = "svn", flags = "", optional = true }, + man = { name = "man", flags = "-l", optional = true }, mktemp = { name = "mktemp", flags = "", optional = false }, rm = { name = "rm", flags = "", optional = false }, mkdir = { name = "mkdir", flags = "", optional = false },