Reverting build.html to building.html

Until I understand better how to build the docs, I best not change anything :)