Author: Enrico Tassi <gareuselesinge@debian.org>
Description: use lua5.1 and not lua
--- lua-doc-3.0.1.orig/src/luadoc.lua.in
+++ lua-doc-3.0.1/src/luadoc.lua.in
@@ -1,4 +1,4 @@
-#!/usr/bin/env lua
+#!/usr/bin/env lua5.1
 -------------------------------------------------------------------------------
 -- LuaDoc launcher.
 -- @release $Id: luadoc.lua.in,v 1.1 2008/02/17 06:42:51 jasonsantos Exp $