Delete .out files after compilation errors (#9963)

This treats the symptom, not the bug.
This commit is contained in:
Guillaume Munch 2016-02-23 23:57:12 +00:00
parent a28278c33d
commit bd56ed38e8

View File

@ -148,6 +148,10 @@ void LaTeX::removeAuxiliaryFiles() const
FileName const aux(changeExtension(file.absFileName(), ".aux"));
aux.removeFile();
// Also remove the .out file (e.g. hyperref bookmarks) (#9963)
FileName const out(changeExtension(file.absFileName(), ".out"));
out.removeFile();
// Remove the output file, which is often generated even if error
output_file.removeFile();
}