Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

docs: Add missing link to jsonnet.md in the summary #19522

Merged
merged 1 commit into from
Oct 21, 2024

Conversation

narqo
Copy link
Contributor

@narqo narqo commented Oct 21, 2024

This is a fixup for #19410.

Apparently, mdbook requires a reference to the document from the SUMMARY.md. This fixes the 404 (https://zed.dev/docs/languages/jsonnet.html) and also adds the Jsonnet to the docs' navigation.

Release Notes:

  • N/A

@cla-bot cla-bot bot added the cla-signed The user has signed the Contributor License Agreement label Oct 21, 2024
Copy link
Member

@maxdeviant maxdeviant left a comment

Choose a reason for hiding this comment

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

Thanks!

@maxdeviant maxdeviant merged commit 89f6b65 into zed-industries:main Oct 21, 2024
3 checks passed
@narqo narqo deleted the docs-summary-jsonnet branch October 21, 2024 20:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cla-signed The user has signed the Contributor License Agreement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants