You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The way in which odoc should be invoked will be changing as part of the integration of the new model and the new latex/man page generators.
Currently odoc is usually driven by a variety of systems including odig, dune and bsdoc. The exact sequence of calls required is not simple or obvious, and we will be introducing a new link step that sits between the compilation and generation phases.
It's clear we need to document this carefully, but I'd also like to go a step further and produce a 'reference driver' that will execute odoc in the correct sequence. It's likely to be some form of Makefile generation. This is useful for several reasons:
Validation of the documentation
Development while the new invocations are being worked on