Merge pull request 'docs: rename "documentation website" heading to "project wiki"' (#157) from docs/rename-manual-heading-wiki into main
CI / github-mirror (push) Skipped
CI / test (push) Successful in 1m58s
CI / build-docs (push) Successful in 3m52s

Reviewed-on: #157
This commit was merged in pull request #157.
This commit is contained in:
2026-09-19 04:51:11 +00:00
committed by Gitea
2 changed files with 4 additions and 4 deletions
+3 -3
View File
@@ -397,9 +397,9 @@ manual=# 13. VIEWING THIS MANUAL
ov=## In the terminal
manpage=## As a man page
jump=## In the terminal
html=## The documentation website
browser=## The documentation website
site=## The documentation website
html=## The project wiki
browser=## The project wiki
site=## The project wiki
source=## Reading the source directly
raw-source=## Reading the source directly
+1 -1
View File
@@ -10,7 +10,7 @@ helpKeywords:
There are four ways to read this manual.
## The documentation website
## The project wiki
help config --html