Editing build.dox