docs/usermanual.html
docs/*.pdf
