diff --git a/doc/src/SUMMARY.md b/doc/src/SUMMARY.md index f9eacc95e..475c33af4 100644 --- a/doc/src/SUMMARY.md +++ b/doc/src/SUMMARY.md @@ -19,7 +19,7 @@ # Developer Doc -- [Development](dev/development.md) +- [Development](dev/dev.md) - [Contribute](dev/contribute.md) - [Learn](dev/learn.md) - [API Rustdoc](dev/rustdoc.md) diff --git a/doc/src/dev/development.md b/doc/src/dev/dev.md similarity index 100% rename from doc/src/dev/development.md rename to doc/src/dev/dev.md