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 37c8703b0d125a0c597c143dc1859794d56301cf..6063d807196c92f6a16dde7833e33b507c38aec3 100644 (file)
--- 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();
 }