For the upcoming release, no TODO pages should be left in the documentation. This will act as a integration branch for all documentation related changes.
This branch touches core documentation and needs a core change flag. It doesn't touch any source files.
[7e444b]: Merge branch 'bug-14806-FillMissingDocumentationPages'
2013-03-27 15:56:26 Keno Maerz [27a775]
Updated build instructions
2013-03-27 15:25:17 Keno Maerz [6a2046]
Reverted faulty deleteion of dox.in in commit: eef857e6871eae70dc5a1851f7baac794d119272.
2013-03-20 16:43:52 Keno Maerz [493173]
Removed unnecessary headline
2013-03-20 15:41:03 Keno Maerz [eef857]
Restructured and expandend documentation