Update develop.rst (#911)

Slightly improves developer guide intro.
atmtools · Jan 20, 2025 · 8d3820d · 8d3820d
2 parents ff37cd2 + ba30959
commit 8d3820d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/doc/arts/develop.rst b/doc/arts/develop.rst
@@ -1,8 +1,8 @@
 For Developers
 ==============
 
-This section is for developers of the ARTS project.
-It contains design descriptions and guidelines for the development of ARTS.
+This section is for ARTS developers.
+It contains design descriptions, development guidelines, and practical tips.
 
 .. toctree::
    :maxdepth: 2