Edit doc/manual/extend/build.dox