/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

# Output of the old plain-TeX manual; kept ignored until the leftover
# directory is removed for good.
/htm/
