From 5a0fe1039808d1db20033d8c7fbf64f064fcdc94 Mon Sep 17 00:00:00 2001 From: Xuan Hu Date: Mon, 5 Feb 2024 02:50:39 +0000 Subject: [PATCH] Minor. --- docs/dev/dev-env.md | 2 +- template/docs/dev/dev-env.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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.