From 1d5d7a291a9938b0170e87a4dcd1c6808c36a1e0 Mon Sep 17 00:00:00 2001 From: Tobias Ulmer Date: Fri, 1 Feb 2013 18:42:05 +0100 Subject: [PATCH] tools: add "man" tool. Signed-off-by: Tobias Ulmer --- generic/tools.lua | 1 + 1 file changed, 1 insertion(+) 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 }, -- 2.39.5