[swinilohani616-dot]

Fixes #12550

Running any cabal v1-* command prints a note saying v1 is legacy, and it ends with a link to
the nix-style builds docs. That link (nix-local-build-overview.html) now returns a 404 on Read the Docs.
I noticed it and pointed the note at nix-local-build.html, the current page for that topic.

I also updated the checked-in help text in doc/cmd-v1-help/ so it matches and the cmd-help CI check stays green.
The two old HCAR reports in doc/hcar/ still use the old URL. I left them alone since they're historical.

• Patches conform to the coding conventions.
• Any changes that could be relevant to users have been recorded in the changelog.
  • Is the change significant? No.
• The documentation has been updated, if necessary.
• Manual QA notes: run cabal v1-build --help and check that the link at the bottom opens.
• Tests have been added. Not applicable: this only changes a help-text string.

[ffaf1]

Thanks!

[ulysses4ever]

Thanks!

[mergify]

❌ Left the queue · Validate macos-15 ghc-9.10.3 fails with this pull request

1 h 29 min in the queue, 1 h 17 min of it CI.

So far

• ✅ Entered the queue Wed 11 Nov, 19:48 · rule default · triggered by rule Put pull requests in the rebase+merge queue
• ❌ Checks failed · draft merge queue: checking #12549 on master (22b6bf9) #12577
• 🚫 Left the queue 21:17 · 0cf22a3

The failure is in this pull request. It failed tested alone on top of master.

Reason

The merge conditions cannot be satisfied due to failing checks

• Validate post job

Failing checks:

• ❌ Validate post job (job log)
• ❌ Validate macos-15 ghc-9.10.3 (job log)

To get back in the queue

• Push a fix: the pull request is queued again once its queue conditions match.
• If the failure is a flake, comment @mergifyio queue to queue it again as it is.

Merge conditions not met when it left the queue

• any of · required by GitHub branch protection:
  • check-neutral = Validate post job
  • check-skipped = Validate post job
  • check-success = Validate post job

11 merge conditions met

• #review-threads-unresolved = 0 · required by GitHub branch protection
• github-review-approved · required by GitHub branch protection
• any of · required by GitHub branch protection:
  • check-success = Doctest Cabal
  • check-neutral = Doctest Cabal
  • check-skipped = Doctest Cabal
• any of · required by GitHub branch protection:
  • check-success = Meta checks
  • check-neutral = Meta checks
  • check-skipped = Meta checks
• any of · required by GitHub branch protection:
  • check-success = docs/readthedocs.org:cabal
  • check-neutral = docs/readthedocs.org:cabal
  • check-skipped = docs/readthedocs.org:cabal
• any of · required by GitHub branch protection:
  • check-success = fourmolu
  • check-neutral = fourmolu
  • check-skipped = fourmolu
• any of · required by GitHub branch protection:
  • check-success = hlint
  • check-neutral = hlint
  • check-skipped = hlint
• any of · required by GitHub branch protection:
  • check-success = Bootstrap post job
  • check-neutral = Bootstrap post job
  • check-skipped = Bootstrap post job
• any of · required by GitHub branch protection:
  • check-success = whitespace
  • check-neutral = whitespace
  • check-skipped = whitespace
• any of · required by GitHub branch protection:
  • check-success = Check sdist post job
  • check-neutral = Check sdist post job
  • check-skipped = Check sdist post job
• any of · required by GitHub branch protection:
  • check-success = Changelogs
  • check-neutral = Changelogs
  • check-skipped = Changelogs

_{Times in UTC · dashboard · how the merge queue works}

[zlonast]

@Mergifyio queue

[mergify]

✅ Merged into master as 2cc64af at 06:12 UTC

Merged together with #12497. 2 h 15 min in the queue, 2 h 4 min of it CI.

So far

• ✅ Entered the queue Thu 12 Nov, 03:57 · rule default · triggered by @zlonast with the @mergifyio queue command
• ✅ Passed · draft merge queue: merged #12549, #12497: Fix dead docs link in v1- command help text (+1 more) #12579
• ✅ Merged 06:12 · 2cc64af · merge

12 merge conditions met

• #review-threads-unresolved = 0 · required by GitHub branch protection
• github-review-approved · required by GitHub branch protection
• any of · required by GitHub branch protection:
  • check-success = Doctest Cabal
  • check-neutral = Doctest Cabal
  • check-skipped = Doctest Cabal
• any of · required by GitHub branch protection:
  • check-success = Meta checks
  • check-neutral = Meta checks
  • check-skipped = Meta checks
• any of · required by GitHub branch protection:
  • check-success = docs/readthedocs.org:cabal
  • check-neutral = docs/readthedocs.org:cabal
  • check-skipped = docs/readthedocs.org:cabal
• any of · required by GitHub branch protection:
  • check-success = Validate post job
  • check-neutral = Validate post job
  • check-skipped = Validate post job
• any of · required by GitHub branch protection:
  • check-success = fourmolu
  • check-neutral = fourmolu
  • check-skipped = fourmolu
• any of · required by GitHub branch protection:
  • check-success = hlint
  • check-neutral = hlint
  • check-skipped = hlint
• any of · required by GitHub branch protection:
  • check-success = Bootstrap post job
  • check-neutral = Bootstrap post job
  • check-skipped = Bootstrap post job
• any of · required by GitHub branch protection:
  • check-success = whitespace
  • check-neutral = whitespace
  • check-skipped = whitespace
• any of · required by GitHub branch protection:
  • check-success = Check sdist post job
  • check-neutral = Check sdist post job
  • check-skipped = Check sdist post job
• any of · required by GitHub branch protection:
  • check-success = Changelogs
  • check-neutral = Changelogs
  • check-skipped = Changelogs

_{Times in UTC · dashboard · how the merge queue works}