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

Update generated docs #15

Merged
merged 2 commits into from
Apr 26, 2024
Merged

Update generated docs #15

merged 2 commits into from
Apr 26, 2024

Conversation

jachris
Copy link
Contributor

@jachris jachris commented Apr 26, 2024

No description provided.

@jachris jachris requested a review from dit7ya April 26, 2024 11:55
output.js Outdated Show resolved Hide resolved
@dit7ya
Copy link
Member

dit7ya commented Apr 26, 2024

We have an issue for this tenzir/issues#1638.

The script needs to be changed for the new directory structure and frontmatter structure.

@jachris jachris force-pushed the topic/update-docs branch from 29e2efe to 844219e Compare April 26, 2024 12:07
@jachris
Copy link
Contributor Author

jachris commented Apr 26, 2024

@dit7ya Done.

Copy link
Member

@dit7ya dit7ya left a comment

Choose a reason for hiding this comment

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

Much appreciated for this 💯

I haven't tested the result in the editor. If that looks good to you, feel free to merge.

scripts/index.js Show resolved Hide resolved
@jachris jachris merged commit ec39aa6 into main Apr 26, 2024
@jachris jachris deleted the topic/update-docs branch April 26, 2024 13:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants