diff -r 11b3e9c1aa5e -r 7c728fa9d1af doc/building.html --- a/doc/building.html Thu Jun 28 19:44:58 2018 +0530 +++ b/doc/building.html Thu Jun 28 07:30:38 2018 -0700 @@ -1,11 +1,16 @@ - +