docs: rename document to "Project Guidelines"

Safe-DS · Jul 10, 2023 · 2e96f51 · 2e96f51
1 parent d3d6010
commit 2e96f51
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/docs/development/code_review.md b/docs/development/code_review.md
@@ -67,6 +67,6 @@ preferably one with a cat image.
 If you found any problems,
 select `Request Changes` instead.
 
-[guidelines-general]: guidelines.md
-[guidelines-tests]: guidelines.md#tests
+[guidelines-general]: project_guidelines.md
+[guidelines-tests]: project_guidelines.md#tests
 [github-review]: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests
diff --git a/docs/development/guidelines.md → docs/development/project_guidelines.md b/docs/development/guidelines.md → docs/development/project_guidelines.md
@@ -1,4 +1,4 @@
-# Guidelines
+# Project Guidelines
 
 This document describes general guidelines for the Safe-DS Python Library. In the **DO**/**DON'T** examples below we either show _client code_ to describe the code users should/shouldn't have to write, or _library code_ to describe the code we, as library developers, need to write to achieve readable client code. We'll continuously update this document as we find new categories of usability issues.
 

diff --git a/mkdocs.yml b/mkdocs.yml
@@ -15,7 +15,7 @@ nav:
   - Glossary: glossary.md
   - Development:
     - Environment: development/environment.md
-    - Project Guidelines: development/guidelines.md
+    - Project Guidelines: development/project_guidelines.md
     - Contributing: https://github.com/Safe-DS/Stdlib/contribute
     - Code Review Guide: development/code_review.md