root/doc/casl2_spec/

1. Makefile
2. casl2_spec.html
3. casl2_spec.texi
4. casl2_spec_html/
5. images.mk
6. img/
7. style.css
8. texinfo.mk
9. texinfo.tex