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.

Sign up for GitHub

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-project fixes #8919

Merged
merged 3 commits into from
Jul 5, 2023
Merged

haddock-project fixes #8919

merged 3 commits into from
Jul 5, 2023

Commits on Jul 5, 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 @ulysses4ever
    coot authored and ulysses4ever committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    1840bca View commit details
    Browse the repository at this point in the history

  2. 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 @ulysses4ever
    coot authored and ulysses4ever committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    1b89c1b View commit details
    Browse the repository at this point in the history

  3. 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 @ulysses4ever
    coot authored and ulysses4ever committed Jul 5, 2023
    Configuration menu
    Copy the full SHA
    2c597e8 View commit details
    Browse the repository at this point in the history