Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

haddock-packages fixes #9213

Merged
merged 4 commits into from
Aug 27, 2023
Merged

haddock-packages fixes #9213

merged 4 commits into from
Aug 27, 2023

Commits on Aug 26, 2023

  1. haddock-project: use UnitId instead of package names

    This patch fixes a bug where a sublibrary overwrites a library
    directory.  This leads to overwriting `*.haddock` files, which results
    in missing entries in various indexes (e.g. the html index,
    quicksearch).
    coot committed Aug 26, 2023
    Configuration menu
    Copy the full SHA
    5f2bd3b View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2023

  1. Removed some haddock-project options

    This patch makes `haddock-project` use `--local` option by default.
    Since its the default, it is removed. Also `--gen-index`,
    `--gen-contents`, `--hyperlinked-source` and `--quickjump` are removed
    since they are always turned on.
    
    Added a haddock-project test.
    coot committed Aug 27, 2023
    Configuration menu
    Copy the full SHA
    b88a414 View commit details
    Browse the repository at this point in the history
  2. Build dependencies with haddock-project

    `haddock-project` command need to build the project so that haddocks of
    the dependencies are available in the store.
    
    Fixes #8958.
    coot committed Aug 27, 2023
    Configuration menu
    Copy the full SHA
    43cf168 View commit details
    Browse the repository at this point in the history
  3. Fixed building documentation

    coot committed Aug 27, 2023
    Configuration menu
    Copy the full SHA
    e720627 View commit details
    Browse the repository at this point in the history