(documentation
 (package odoc-driver))

(install
 (section doc)
 (files odoc-config.sexp)
 (package odoc-driver))
