"Doc/DevRef/DevRef.tex" did not exist on "84e0a296b03de934724fadac3f925d0a38fbe745"