commit bd56ed38e8022c25b2d14aae59553fc7c3d229dd
Author: Guillaume Munch <[email protected]>
Date: Tue Feb 23 23:57:12 2016 +0000
Delete .out files after compilation errors (#9963)
This treats the symptom, not the bug.
diff --git a/src/LaTeX.cpp b/src/LaTeX.cpp
index 37c8703..6063d80 100644
--- a/src/LaTeX.cpp
+++ b/src/LaTeX.cpp
@@ -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();
}