*.html usr/share/doc/prover9-doc/html
*.css usr/share/doc/prover9-doc/html
*.gif usr/share/doc/prover9-doc/html
