Editing build.dox.