*.html
*.haux
*.hind
compilerlibref
libref
manual.hmanual
manual.hmanual.kwd
manual.css
odoc.css
highlight.pack.js
*.htoc
*.svg
