Code

Driver: New hierarchy #1236

Code

Merged

jonludlam merged 9 commits intoocaml:masterocaml/odoc:masterfrom panglesd:new-hierarchy-in-driver-cleanpanglesd/odoc:new-hierarchy-in-driver-cleanCopy head branch name to clipboardNov 8, 2024

+355-386

Commits

Commits on Nov 8, 2024

• Driver: Use (doc-lib)-less hierarchy

  panglesd

  committed
  65366a8

  Copy full SHA for 65366a8

• Driver: gather dirs in a type

  panglesd

  committed
  9b1c9a7

  Copy full SHA for 9b1c9a7

• Driver: separate directories for indexes and generated mlds

  panglesd

  committed
  02698fc

  Copy full SHA for 02698fc

• Driver: Separate type defs and generation function for odoc units

  Show description for 185e18f
  panglesd

  committed
  185e18f

  Copy full SHA for 185e18f

• Driver: allow to not specify --current-package

  Show description for 407ddb6
  panglesd

  committed
  407ddb6

  Copy full SHA for 407ddb6

• Driver: not all units must have an associated package

  Show description for 63f0a61
  panglesd

  committed
  63f0a61

  Copy full SHA for 63f0a61

• Driver: improve landing page module

  panglesd

  committed
  85db25d

  Copy full SHA for 85db25d

• Driver: add an index page if no-one is provided by the package

  panglesd

  committed
  64ec490

  Copy full SHA for 64ec490

• Remove extra doc layer in "partial" dir

  panglesd

  committed
  ce92010

  Copy full SHA for ce92010