docs: rename "documentation website" heading to "project wiki" #157

Merged
rootiest merged 1 commits from docs/rename-manual-heading-wiki into main 2026-09-19 04:51:12 +00:00
Owner

Summary

  • Follow-up to #156: the "Viewing This Manual" section heading and its keyword-index entries still said "documentation website".
  • Updates docs/manual/13-viewing-this-manual.md heading and the matching html/browser/site entries in docs/fish-config.index.

Test plan

  • python3 docs/verify-manual.py — only failures are the expected staleness of generated docs/fish-config.md (regenerated by CI before its own verify step)
## Summary - Follow-up to #156: the "Viewing This Manual" section heading and its keyword-index entries still said "documentation website". - Updates `docs/manual/13-viewing-this-manual.md` heading and the matching `html`/`browser`/`site` entries in `docs/fish-config.index`. ## Test plan - [x] `python3 docs/verify-manual.py` — only failures are the expected staleness of generated `docs/fish-config.md` (regenerated by CI before its own verify step)
rootiest added 1 commit 2026-09-19 04:50:35 +00:00
Missed in the prior terminology-sync pass; updates both the manual
source heading and the matching keyword-index entries.
rootiest added the Kind/DocumentationArea/Docs labels 2026-09-19 04:50:42 +00:00
rootiest merged commit 348a0453a9 into main 2026-09-19 04:51:12 +00:00
rootiest deleted branch docs/rename-manual-heading-wiki 2026-09-19 04:51:12 +00:00
Sign in to join this conversation.
No Reviewers
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: rootiest/fish-config#157