--- config.orig	2007-10-15 08:21:05.000000000 +0400
+++ config	2007-10-15 12:22:16.000000000 +0400
@@ -30,8 +30,8 @@
 #
 #INSTALL_TOP_SHARE=/usr/local/share/lua/5.0
 #INSTALL_TOP_LIB=/usr/local/lib/lua/5.0
-INSTALL_TOP_SHARE=/usr/local/share/lua/5.1
-INSTALL_TOP_LIB=/usr/local/lib/lua/5.1
+INSTALL_TOP_SHARE=$(DESTDIR)/usr/share/lua/5.1
+INSTALL_TOP_LIB=$(DESTDIR)/usr/lib/lua/5.1
 
 INSTALL_DATA=cp
 INSTALL_EXEC=cp
