panglesd / odoc / 908

Builds Branch Commit Type Ran Committer Via Coverage
908 new_driving_guide Rewrite the driver guide following the odoc 3 changes push panglesd github
73.0
906 new_driving_guide WIP push panglesd github
73.0
905 count-occurrences-in-ref-driver Count-occurrences: consistency and driver support Made the count-occurrences command a bit more consistent: - output names are now `name.odoc-occurrences` instead of `occurrences-name.odoc` (similar to "index" artifacts) - input dirs are positi... push panglesd github
72.99
904 new_driving_guide WIP push panglesd github
73.0
903 new_driving_guide WIP push panglesd github
73.0
902 fix-building-odoc-doc Fix using `odoc_driver` to build `odoc` Quoting the docs of the Findlib library: > * Furthermore, the environment variables OCAMLPATH, OCAMLFIND_DESTDIR, > * OCAMLFIND_COMMANDS, OCAMLFIND_IGNORE_DUPS_IN, and CAMLLIB are interpreted. > * By defau... push panglesd github
73.0
901 new_driving_guide WIP push panglesd github
72.84
900 new_driving_guide WIP push panglesd github
72.84
898 new_driving_guide WIP push panglesd github
72.84
899 page-order-new-take Children order: Remove common root using ID not URL segments push panglesd github
73.0
897 page-order-new-take Children order: Remove common root using ID not URL segments push panglesd github
73.01
896 page-order-new-take Compatibility again push panglesd github
73.02
895 page-order-new-take Do not open Path.Identifier But alias it to Id. It was bringing too many values in scope (eg shadowing compare). push panglesd github
73.02
894 page-order-new-take Children order: compatibility push panglesd github
73.02
893 page-order-new-take Children order: Add warnings for duplicated and unresolved entries push panglesd github
73.02