Fix StableMIR migration documentation (#2915)

Rename the file to use '-' instead of `_` and add the new page to the index. Fixed version can be seen here: https://celinval.github.io/kani-dev/stable-mir.html
model-checking · Dec 5, 2023 · d8db3b8 · d8db3b8
1 parent 4c0dd15
commit d8db3b8
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 1 deletion.
diff --git a/docs/src/SUMMARY.md b/docs/src/SUMMARY.md
@@ -26,6 +26,7 @@
  - [Coding conventions](./conventions.md)
  - [Working with CBMC](./cbmc-hacks.md)
  - [Working with `rustc`](./rustc-hacks.md)
+ - [Migrating to StableMIR](./stable-mir.md)
  - [Command cheat sheets](./cheat-sheets.md)
  - [cargo kani assess](./dev-assess.md)
  - [Testing](./testing.md)

diff --git a/docs/src/dev-documentation.md b/docs/src/dev-documentation.md
@@ -14,7 +14,7 @@ developers (including external contributors):
  3. [Development setup recommendations for working with `cbmc`](./cbmc-hacks.md).
  4. [Development setup recommendations for working with `rustc`](./rustc-hacks.md).
  5. [Guide for testing in Kani](./testing.md).
- 6. [Transition to StableMIR](./stable_mir.md).
+ 6. [Transition to StableMIR](./stable-mir.md).
 
 > **NOTE**: The developer documentation is intended for Kani developers and not
 users. At present, the project is under heavy development and some items

diff --git a/docs/src/stable_mir.md → docs/src/stable-mir.md b/docs/src/stable_mir.md → docs/src/stable-mir.md