Tweaked documentation: build details.