usr/doc/coq-stdlib/html usr/share/doc/libcoq-stdlib/
usr/doc/coq-stdlib/README.md usr/share/doc/libcoq-stdlib/
@OCamlStdlibDir@/coq-stdlib/
# *.vo files will be added here
