Martijn van Beurden 0ae3e4689d Various documentation fixes, merge with website
The html documentation was diff'ed to the current website pages
and all difference were merged into the page they weren't yet
incorporated. This includes lots of small fixes and
improvements.

Signed-off-by: Erik de Castro Lopo <erikd@mega-nerd.com>
2014-08-09 12:23:56 +10:00
..