"doc/software-manual.tex" did not exist on "38dec2b382269b6be05d639b0f4167c46030c3ac"