docs: update INSTALL document
tree695b80612f4f9f2b6c7ca60d30fad69bebd33c1d
-rw-r--r-- 105 .gitattributes
-rw-r--r-- 602 .gitignore
-rw-r--r-- 760 .mailmap
-rw-r--r-- 727 AUTHORS
-rw-r--r-- 18476 COPYING
drwxr-xr-x - Documentation
-rw-r--r-- 5283 INSTALL
-rw-r--r-- 2758 README
-rw-r--r-- 269 REPORTING-BUGS
-rw-r--r-- 2193 TODO
-rw-r--r-- 6 VERSION
drwxr-xr-x - contrib
drwxr-xr-x - scripts
drwxr-xr-x - src