Skip to content
This repository has been archived by the owner on Jun 29, 2022. It is now read-only.

Simplify docs link titles #1259

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Simplify docs link titles #1259

wants to merge 3 commits into from

Conversation

karlskewes
Copy link
Contributor

We are already nested under a heading so we can drop that heading (eg: "quickstart..." or "..... configuration reference") from the link title.

Closes #1217

Ran make docs in root of repository but didn't notice any side effects or changes.
I'm not sure how to locally validate how the docs render.
I was expecting I could do something like hugo server or whatever the mechanism is.

We are already nested under the quickstarts so we don't need to
duplicate the heading. See the Concepts section for comparison.

closes #1217
invidian
invidian previously approved these changes Dec 9, 2020
Copy link
Member

@invidian invidian left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks a lot for another PR @kskewes! Changes looks good to me, but perhaps someone else needs to look into this PR as well, to make sure this is what we want, as @blixtra had some concerns. Maybe @iaguis?

Ran make docs in root of repository but didn't notice any side effects or changes.
I'm not sure how to locally validate how the docs render.
I was expecting I could do something like hugo server or whatever the mechanism is.

Yeah, make docs is only used right now to generate CLI reference documentation.

At the moment we have no way of locally previewing this unfortunately, though I'm sure @joaquimrocha is working on it 😉

@invidian invidian requested a review from iaguis December 9, 2020 11:09
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Make docs more content aware
2 participants