Editing manual/user/compile.dox to reflect changes.