panglesd / odoc

73%

master: 56%

LAST BUILD ON BRANCH clean-driver-dir-name

branch: clean-driver-dir-name

CHANGE BRANCH

x

Reset

Sync Branches

• clean-driver-dir-name
• 1260_document_elements
• 2.3-5.1-compat
• 51fix
• add-doc-for-scoped-tags
• allow-more-hierarchies
• any-to-nonsrc
• asset-references
• asset-references-in-language
• better-toc-entry-monorepo
• block-ast-content
• changelog-check
• cheatsheet
• cheatsheet-2
• cherry-picked-refactor-typedtree-traverse
• ci-search-bar
• cmt-arg
• complete-sidebar
• count-occurrences-in-ref-driver
• dbuenzli
• disable-big-search-path-test
• document-json-output
• document-url-from-identifier
• driver-cli
• driver-output
• driver-redirections
• extract-code-blocks
• extract-code-blocks-2
• fix-1013
• fix-1106
• fix-1106-new
• fix-333
• fix-449
• fix-456
• fix-857
• fix-907
• fix-926
• fix-930
• fix-932
• fix-937
• fix-941
• fix-box-model
• fix-breadcrumbs
• fix-building-odoc-doc
• fix-compile-depends
• fix-compile-src-cli
• fix-default-alias
• fix-deps-for-mlds
• fix-emoji
• fix-fmt
• fix-gaps
• fix-hidden-flag
• fix-needles
• fix-open-files-in-occurrence
• fix-parent-id
• fix-parser-constraint-on-dune
• fix-source-hierarchy
• fix-tyxml-constraint
• fix-url
• fix-wrong-id-doc-search
• fix_447
• frontmatter
• frontmatter-tags
• generate-assets
• generate-external-pages-in-driver
• global-config-file
• gpetiot-fix932
• header-in-json-output
• identifiers-labels-should-be-spanned
• include-libs-from-packages
• job_numbers
• json-sidebar-output
• landmarks
• less-agressive-timeout
• master
• md-page-support
• md-page-support-cleaned-history
• md-page-support-wip
• mdx-files
• media-in-odoc3
• medias-in-odoc
• medias-in-odoc-2
• merlin-snapshot
• named-pkg-root
• new-hierarchy-in-driver
• new-hierarchy-in-driver-clean
• new-occurrence
• new-tutorial
• new_driving_guide
• new_driving_guide_work
• o-c--curren-ces-t
• occurences-in-odoc
• occurrence-in-odoc-unsplit
• occurrences-in-index
• occurrences-in-odoc
• occurrences-last-PR
• occurrences-squashed
• occurrences-squashed-before-rebase
• occurrences-wip
• occurrences-without-constructors
• oci-bench
• oci-bench-landmarks
• odoc-features-in-odoc
• odoc3-asset-references
• odoc3-external-pages
• offsite-proto
• offsite-proto-2
• ol-to-ul
• order-children
• page-order-new-take
• page-order-new-take-save
• page-reference-do-not-use-dot
• parser-in-doc
• permanent-ident-env
• poly-variants-docs
• profiling-phases
• refactor-driver
• refactor-typedtree-traverse
• render-source-files
• resolving-references
• review-assets
• root-in-sidebar
• root-in-sidebar-really
• save-complete-sidebar
• save-occ-in-odoc-5-december
• save-occ-last-pr-dec-6
• save_new_driving_guide
• scoped-tags
• search-bar-rebase
• search-bar2
• search-bar2-old
• search-index-buid-system-friendly
• search-index-build-system-friendly-save
• search-index-build-system-friendly-save-2
• search-without-history
• semantic-anchors
• separate-generate-commands
• separate-intf-impl
• setup-ocaml-v3
• short-title-tags
• sidebar-proto
• sidebar-rebased
• squared-search-path
• style-external-links
• suppress_warnings
• tables
• toc-tree-2
• use-katex-bool
• v2.4
• v2.4-fix1013
• value-and-constructor-path
• voodoo-odoc-driver
• wip-src-prefix

Build # 970

Build Type

push

github

Committed by panglesd

Commit Message

Driver: uniformize names for _odoc dir

`odoc_dir` was sometimes used to refer to the root of the directory containing
.odoc files (`_odoc` by default), and sometimes used to refer to the direct
parent of a `.odoc` file.

The root of the directory containing `.odoc` files was referred as `odoc_dir`,
`output_dir`.

The root of the directory containing `.odocl` files was referred as `odocl_dir`,
`link_dir`, `linked_dir`.

This commit cleans that. The root of the directory for `.odoc` files is
consistently named `odoc_dir`, the root for `.odocl` files is
`odocl_dir`.

Run Details

10259 of 14057 relevant lines covered (72.98%)

2962.84 hits per line