diff --git a/docs/dev/dev-env.md b/docs/dev/dev-env.md index 734609f3..23511e2f 100644 --- a/docs/dev/dev-env.md +++ b/docs/dev/dev-env.md @@ -1,4 +1,4 @@ -# Development Environment Management +# Development Environment This page show the approach to manage development environment. To simplify the process, a unified `Makefile` is maintained at the root directory of the repo. In other words, all the `make` related commands are supposed to run there. diff --git a/template/docs/dev/dev-env.md b/template/docs/dev/dev-env.md index 734609f3..23511e2f 100644 --- a/template/docs/dev/dev-env.md +++ b/template/docs/dev/dev-env.md @@ -1,4 +1,4 @@ -# Development Environment Management +# Development Environment This page show the approach to manage development environment. To simplify the process, a unified `Makefile` is maintained at the root directory of the repo. In other words, all the `make` related commands are supposed to run there.