Editing build.dox documentation.