Format cleanup
Signed-off-by: Mario Enrico Ragucci <github@ragucci.de>
Verified format cleanup (really...)
Signed-off-by: Mario Enrico Ragucci <github@ragucci.de>
Merge pull request #582 from ghmer/master

Fix messed formatting in build documentation