/doc/*.css
/doc/*.js
/doc/_*.xml
/doc/chap*.html
/doc/chap*.txt
/doc/chap*_mj.html
/doc/chap*_mj.txt
/doc/chooser.html
/doc/_main.*
/doc/manual.lab
/doc/manual.pdf
/doc/manual.six
/doc/title.xml
