From 0e8c96437c6cf9892ef2f0555ba849fc88e674cb Mon Sep 17 00:00:00 2001 From: Hisham Muhammad Date: Wed, 19 Mar 2014 16:32:49 -0300 Subject: Fix help, as pointed out by @ignacio --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configure') diff --git a/configure b/configure index 166d6898..e9f5e018 100755 --- a/configure +++ b/configure @@ -36,7 +36,7 @@ Where to install files installed by rocks, to make the accessible to Lua and your \$PATH. Beware of clashes between files installed by LuaRocks and by your system's package manager. ---rocks-tree=FILE Root of the local tree of installed rocks. +--rocks-tree=DIR Root of the local tree of installed rocks. Default is \$PREFIX --lua-version=VERSION Use specific Lua version: 5.1 or 5.2 -- cgit v1.2.3-55-g6feb