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