/usr/share/doc/libcoq-stdlib/html /usr/share/doc/coq/stdlib-html
@OCamlStdlibDir@/coq-core/tools/coqdoc/coqdoc.css /usr/share/doc/coq-theories/html/coqdoc.css
