Rename new_docs to docs_new in BUILD.md (#2688)

kanisterio · Feb 28, 2024 · 52474b0 · 52474b0
1 parent fa87d74
commit 52474b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/BUILD.md b/BUILD.md
@@ -158,7 +158,7 @@ This requires the documentation files to be written in
 This new documentation system offers a live-dev server that will dynamically
 render Markdown documentation files as you are making changes to them on your
 local machine/branch.
-To start this development server, place yourself in the `new_docs` folder, then
+To start this development server, place yourself in the `docs_new` folder, then
 run the following commands:
 
 ```sh