Move error_index_generator to the rustbook workspace
I had forgotten that error_index_generator is using mdbook. This moves it to be part of the rustbook workspace so that it can share the dependency with rustbook.
This commit is contained in:
parent
32b1bffa11
commit
2773456f5f
7 changed files with 10 additions and 210 deletions
|
@ -13,7 +13,6 @@ members = [
|
|||
"src/tools/clippy/clippy_dev",
|
||||
"src/tools/compiletest",
|
||||
"src/tools/run-make-support",
|
||||
"src/tools/error_index_generator",
|
||||
"src/tools/linkchecker",
|
||||
"src/tools/lint-docs",
|
||||
"src/tools/miropt-test-tools",
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue