Editing build.dox documentation file