Add develop documentation

docs/content/develop/adding-dependencies.md

@@ -0,0 +1,11 @@
+---
+title: "Adding Dependencies"
+---
+# Adding Dependencies
+To add a dependency:
+
+1.  Modify the `gradle/libs.versions.toml` file and add the dependency to the correct section (or create a new section).\
+    Consult the [Gradle documentation](https://docs.gradle.org/current/userguide/platforms.html#sub::toml-dependencies-format) for more information on the `libs.versions.toml` file format.
+2.  Also mention the dependency in `example/build.gradle.kts`.
+3.  If the dependency is a Spoofax dependency (a library, application, or language that is part of Spoofax), also add the dependency to `platform/build.gradle.kts`.
+

docs/content/develop/index.md

@@ -0,0 +1,7 @@
+---
+title: "Develop"
+---
+# Develop
+Development information.
+
+- [Adding dependencies](./adding-dependencies.md)

docs/mkdocs.yml

@@ -11,6 +11,9 @@ edit_uri: https://github.com/metaborg/gitonium/edit/main/docs
 nav:
   - Home:
       - index.md
+  - Develop:
+      - develop/index.md
+      - develop/adding-dependencies.md
 
 theme:
   name: material