docs: rename "documentation site" to "project wiki"
Consistent terminology across README, CONTRIBUTING, and CI step name.
This commit is contained in:
+1
-1
@@ -502,7 +502,7 @@ category; this isn't something to force.
|
||||
## Documentation Pipeline
|
||||
|
||||
`docs/manual/` is the single source of truth for the user manual, man page,
|
||||
and documentation site. **Never hand-edit `docs/fish-config.md` or
|
||||
and project wiki. **Never hand-edit `docs/fish-config.md` or
|
||||
`docs/fish-config.1`** — they're generated by `docs/build-manual.py` from
|
||||
`docs/manual/**` plus every function's doc-header (see above), verified by
|
||||
`docs/verify-manual.py`, and auto-committed by CI on push to `main`
|
||||
|
||||
Reference in New Issue
Block a user