diff -r 580159eeac07 -r cbae0e359538 doc/building.html --- a/doc/building.html Wed Jun 06 13:04:25 2018 -0700 +++ b/doc/building.html Wed Jun 06 13:16:12 2018 -0700 @@ -505,7 +505,7 @@