DG: Extract Configuration guide into a separate page

Our policy is to limit the DG to content likely to be updated by students forking the repo. As the section about configuration is unlikely to be updated in student forks, let's move it to a separate page.
AY2324S2-CS2103T-W12-3 · Jun 7, 2020 · ed764e8 · ed764e8
1 parent 75b0edb
commit ed764e8
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 5 deletions.
diff --git a/docs/Configuration.md b/docs/Configuration.md
@@ -0,0 +1,6 @@
+---
+layout: page
+title: Configuration guide
+---
+
+Certain properties of the application can be controlled (e.g user preferences file location, logging level) through the configuration file (default: `config.json`).
diff --git a/docs/DeveloperGuide.md b/docs/DeveloperGuide.md
@@ -218,17 +218,14 @@ _{more aspects and alternatives to be added}_
 _{Explain here how the data archiving feature will be implemented}_
 
 
-### Configuration
-
-Certain properties of the application can be controlled (e.g user prefs file location, logging level) through the configuration file (default: `config.json`).
-
 --------------------------------------------------------------------------------------------------------------------
 
-## **Documentation, logging, testing, dev ops**
+## **Documentation, logging, testing, configuration, dev-ops**
 
 * [Documentation guide](Documentation.md)
 * [Testing guide](Testing.md)
 * [Logging guide](Logging.md)
+* [Configuration guide](Configuration.md)
 * [DevOps guide](DevOps.md)
 
 --------------------------------------------------------------------------------------------------------------------