tools: add "man" tool.

Signed-off-by: Tobias Ulmer <tu@emlix.com>

diff --git a/generic/tools.lua b/generic/tools.lua
index 41703648df5c6d1c47e9a0db79bf1c0b56f62582..9bfc015d62d47515885d824035cfafaa33375a8a 100644 (file)
--- 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 },