use DESTDIR for man & docs
tree73c851bbaa743daabfdfa66e0049aedbc2f8226f
-rw-r--r-- 41 .gitattributes
-rw-r--r-- 53 .gitignore
-rw-r--r-- 662 AUTHORS
-rw-r--r-- 611 COPYING
-rw-r--r-- 35127 COPYING.GPLv3
-rw-r--r-- 1088 COPYING.MIT
-rw-r--r-- 1557 Makefile
-rw-r--r-- 522 PATCHES
-rw-r--r-- 180 README.md
drwxr-xr-x - build-utils
drwxr-xr-x - common
-rw-r--r-- 980 config.mk
-rw-r--r-- 1450 globalconf.h
drwxr-xr-x - lib
-rw-r--r-- 15926 luah.c
-rw-r--r-- 5126 luah.h
-rw-r--r-- 4517 luakit.c
-rw-r--r-- 1140 luakit.h
-rwxr-xr-x 22566 rc.lua
-rw-r--r-- 5167 widget.c
-rw-r--r-- 2196 widget.h
drwxr-xr-x - widgets