"Doc/DevRef/DevRef.tex" did not exist on "42e84aa22606c0d42cfad31c075592b921a3e502"