Update the project documentation to be `odoc` compliant. Generate and publish documentation.
Update the project documentation to be
odoccompliant. Generate and publish documentation.