doc/stdlib/html usr/share/doc/coq-theories/
# *.vo files will be added here