Module Odoc_document.TargetsSource
Collect all the urls of pages defined by a model.
Roughly a simplified version of the normal process to convert a model into a document, only for extracting Urls. Used to determine the build targets.