Initial docs for Jenkins integration

[alexxy/gromacs.git] / docs / dev-manual / tools.rst

diff --git a/docs/dev-manual/tools.rst b/docs/dev-manual/tools.rst
index 43bce33b84a9aec291064db0cdf34f401bade8e9..08a77a6312b3c247226a81cb340d53e14898d0b4 100644 (file)
--- a/docs/dev-manual/tools.rst
+++ b/docs/dev-manual/tools.rst
@@ -5,10 +5,15 @@ Development-time tools
    :maxdepth: 2
 
    doxygen
+   jenkins
    gmxtree
    uncrustify
    testutils
 
+.. TODO: Consider what is the most reasonable structure; currently, this list
+   here does not make much sense in the overall organization and creates a
+   confusing TOC for the developer guide.
+
 .. TODO: Add details for most of the tools, either in the form of links to wiki,
    or to a separate page that explains more details.
 
@@ -30,6 +35,9 @@ Jenkins
   All changes pushed to Gerrit are automatically compiled and otherwise
   checked on various platforms using a continuous integration system at
   http://jenkins.gromacs.org.
+  :doc:`jenkins` documents how Jenkins interacts with the build system,
+  providing information on how to replicate the builds Jenkins does (e.g., to
+  diagnose issues).
 
 Redmine
   Bugs and issues, as well as some random features and discussions,