Additional Jenkins documentation
commite7e35d318984eb34901f5215482eba8bd71841e7
authorTeemu Murtola <teemu.murtola@gmail.com>
Sat, 30 Apr 2016 12:18:19 +0000 (30 15:18 +0300)
committerMark Abraham <mark.j.abraham@gmail.com>
Tue, 10 May 2016 18:59:54 +0000 (10 20:59 +0200)
treea814847d7ecd11a18b0ff7f1005ee2dd73322f15
parent745e3d0b69b7118733ec542fd0881778679c8149
Additional Jenkins documentation

Some additional content could be added, but now there are at least a few
words on each of the build types.  The overall structure of the
Jenkins-related user-/developer-facing documentation should now be
there, though.  Significant part of the Jenkins-related documentation is
in the releng repo, which is now more clearly referenced from here where
relevant.

Related to #1731.

Change-Id: If71cb725f966ea5acd72585fb3a1aa65e1a269ff
docs/dev-manual/jenkins.rst
docs/dev-manual/tools.rst