Skip to content

Update Documentation#513

Merged
bors[bot] merged 1 commit into
fishfolk:mainfrom
zicklag:docs-update
Dec 8, 2022
Merged

Update Documentation#513
bors[bot] merged 1 commit into
fishfolk:mainfrom
zicklag:docs-update

Conversation

@zicklag

@zicklag zicklag commented Dec 8, 2022

Copy link
Copy Markdown
Member
  • Remove old sections from the book
  • Link to the old documentation in the new book, as legacy documentation.
  • Tweak rustdoc settings for our crates
  • Add the Rustdoc to the CI and include in the new book.

@zicklag
zicklag force-pushed the docs-update branch 2 times, most recently from 18b97a6 to 8124555 Compare December 8, 2022 21:53
@zicklag

zicklag commented Dec 8, 2022

Copy link
Copy Markdown
Member Author

bors merge

bors Bot added a commit that referenced this pull request Dec 8, 2022
513: Update Documentation r=zicklag a=zicklag

- Remove old sections from the book
- Link to the old documentation in the new book, as legacy documentation.
- Tweak rustdoc settings for our crates
- Add the Rustdoc to the CI and include in the new book.

Co-authored-by: Zicklag <zicklag@katharostech.com>
@bors

bors Bot commented Dec 8, 2022

Copy link
Copy Markdown
Contributor

Build failed:

@zicklag

zicklag commented Dec 8, 2022

Copy link
Copy Markdown
Member Author

bors retry

bors Bot added a commit that referenced this pull request Dec 8, 2022
513: Update Documentation r=zicklag a=zicklag

- Remove old sections from the book
- Link to the old documentation in the new book, as legacy documentation.
- Tweak rustdoc settings for our crates
- Add the Rustdoc to the CI and include in the new book.

Co-authored-by: Zicklag <zicklag@katharostech.com>
- Remove old sections from the book
- Link to the old documentation in the new book, as
  legacy documentation.
- Tweak rustdoc settings for our crates
- Add the Rustdoc to the CI and include in the new book.
@bors

bors Bot commented Dec 8, 2022

Copy link
Copy Markdown
Contributor

Build failed:

  • Build Docs

@zicklag

zicklag commented Dec 8, 2022

Copy link
Copy Markdown
Member Author

bors r+

bors Bot added a commit that referenced this pull request Dec 8, 2022
513: Update Documentation r=zicklag a=zicklag

- Remove old sections from the book
- Link to the old documentation in the new book, as legacy documentation.
- Tweak rustdoc settings for our crates
- Add the Rustdoc to the CI and include in the new book.

Co-authored-by: Zicklag <zicklag@katharostech.com>
@bors

bors Bot commented Dec 8, 2022

Copy link
Copy Markdown
Contributor

@bors
bors Bot merged commit 69edc87 into fishfolk:main Dec 8, 2022
@zicklag
zicklag deleted the docs-update branch December 8, 2022 22:10
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.

1 participant