root/doc/casl2_spec/

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