Update INSTALL file.
[clon.git] / doc / 
tree596f5071588fde8fcf1887f3e8505004a6686496
drwxr-xr-x   ..
-rw-r--r-- 4753 Makefile
-rw-r--r-- 1657 declt.cl
-rw-r--r-- 81625 enduser.texi
-rw-r--r-- 4505 generate.cl
-rw-r--r-- 58426 splash.jpg
-rw-r--r-- 112937 user.texi