Add developer docs for new documentation infrastructure
commit09cd59227cf11f32eec8f4564b19d263c4b70db4
authorMark Abraham <mark.j.abraham@gmail.com>
Fri, 13 Feb 2015 14:16:02 +0000 (13 15:16 +0100)
committerTeemu Murtola <teemu.murtola@gmail.com>
Fri, 24 Apr 2015 13:32:45 +0000 (24 16:32 +0300)
tree499c94c1d4141c0f757d86fe6ffe9f2898faadd6
parent20614d5be653688ef356bdb42aef4ac7bf784ec2
Add developer docs for new documentation infrastructure

Fix some existing docs to match current implementation.

Change-Id: I5aef6f3127558169a85b4f577f4d4b54ef92c9f0
docs/dev-manual/tools.md
docs/doxygen/lib/wrapperbinary.md