Separate main texi file for web site.
tree5664253eb9f9d7aa1db3c4f609e0e69ec5fa60dc
-rw-r--r-- 551 .gitignore
-rw-r--r-- 179 AUTHORS
-rw-r--r-- 1606 COPYING
-rw-r--r-- 161 ChangeLog
-rw-r--r-- 12120 INSTALL
-rw-r--r-- 123 Makefile.am
-rw-r--r-- 0 NEWS
-rw-r--r-- 8501 README
-rw-r--r-- 719 THANKS
-rwxr-xr-x 65 autogen.sh
-rw-r--r-- 792 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - elisp
drwxr-xr-x - scheme