Code

More misc fixes#1275

Code

Merged

jonludlam merged 7 commits intoocaml:masterocaml/odoc:masterfrom jonludlam:more-misc-fixesjonludlam/odoc:more-misc-fixesCopy head branch name to clipboardJan 15, 2025

+171-39

Commits

Commits on Jan 15, 2025

• Add custom-layout argument to odoc link

  Show description for 47c4a9d
  jonludlam

  committed
  47c4a9d

  Copy full SHA for 47c4a9d

• Allow overriding the short title

  jonludlam

  committed
  ffc1062

  Copy full SHA for ffc1062

• Remove duplicates from include paths

  jonludlam

  committed
  372c735

  Copy full SHA for 372c735

• Explicit mention of compiler-libs.optcomp in dune files

  Show description for d93cf2d
  jonludlam

  committed
  d93cf2d

  Copy full SHA for d93cf2d

• Driver: ignore version when finding packages to build

  Show description for 52067fa
  jonludlam

  committed
  52067fa

  Copy full SHA for 52067fa

• Driver: Better handling of global config

  jonludlam

  committed
  1c86daa

  Copy full SHA for 1c86daa

• Update test results

  jonludlam

  committed
  f771d95

  Copy full SHA for f771d95