Documentation restructuring: provide a useful overview.
[tripe] / manual /
drwxr-xr-x   ..
-rw-r--r-- 109 .gitignore
-rw-r--r-- 1252 Makefile.am
-rw-r--r-- 3341 intro.texi
-rw-r--r-- 57103 tripe.texi