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

Convert docs to ir-docs #785

Draft
wants to merge 65 commits into
base: master
Choose a base branch
from
Draft

Convert docs to ir-docs #785

wants to merge 65 commits into from

Conversation

trevor-coleman
Copy link
Contributor

Reorganize and convert documentation to work with new unified IR docusaurus site:

  • Creates ir-docs folder
  • Organizes docs in folders matching current sidebar
  • Adds CI scripts
    • pnly manually-triggered script is active
    • commented out others to prevent build failures from blocking other PRs if this gets merged.
  • Creates an ./ir-docs/ folder with the new documentation, this will allow the existing documentation to remain up while we make the transition. When the new docs are ready we can simply rename the folder and point the CI at it.
  • Updates internal links to be relative
  • Creates metadata files for categories etc.

@jamonholmgren
Copy link
Member

I'm okay deleting the existing docs website right now.

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