Odig_support.Doc_dirSourceLookup package documentation directory.
The type for documentation directory information.
dir is the path to the documentation directory (if any).
changes_files i are the package's change log files.
license_files i are the package's licenses files.
odoc_pages i are the package's odoc pages
odoc_assets i is the package's odoc assets directory (if any).
odoc_assets i is the package's odoc assets directory contents.
readme_files i are the package's readme files.
query ~doc_dir pkg queries the documentation directory doc_dir for documentation about pkg.