Update INSTALL file
tree8bd4128e31e8e84258eed6fd0e1adf9b7418c137
-rw-r--r-- 32 AUTHORS
-rw-r--r-- 17989 COPYING
-rw-r--r-- 29841 ChangeLog
-rw-r--r-- 1334 HACKING
-rw-r--r-- 887 INSTALL
-rw-r--r-- 13 Makefile.am
-rw-r--r-- 351 NEWGOOGLE
-rw-r--r-- 0 NEWS
-rw-r--r-- 360 README
-rw-r--r-- 19328 TODO
-rw-r--r-- 6544 TODO-REID
-rw-r--r-- 160 VIKING-REMOTE
-rw-r--r-- 899 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - src
-rwxr-xr-x 2396 viking-remote
drwxr-xr-x - win32