Move rustbook to its own workspace.

This commit is contained in:
Eric Huss 2024-07-15 13:30:52 -07:00
parent aee3dc4c6c
commit 5dfa062b87
10 changed files with 1796 additions and 297 deletions

View file

@ -16,7 +16,6 @@ members = [
"src/tools/linkchecker",
"src/tools/lint-docs",
"src/tools/miropt-test-tools",
"src/tools/rustbook",
"src/tools/unstable-book-gen",
"src/tools/tidy",
"src/tools/tier-check",