#! /bin/sh /usr/share/dpatch/dpatch-run
## luadoc.dpatch by Enrico Tassi <gareuselesinge@debian.org>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: use lua5.1 and not lua
@DPATCH@
diff -urNad trunk~/src/luadoc.lua.in trunk/src/luadoc.lua.in
--- trunk~/src/luadoc.lua.in 2008-02-17 07:42:51.000000000 +0100
+++ trunk/src/luadoc.lua.in 2008-03-18 11:01:32.000000000 +0100
@@ -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 $