record latexmk output

2020-05-15 16:08:10 +01:00
parent 7254a025ae
commit 5ab45c1031
2 changed files with 9 additions and 0 deletions
--- a/app/js/ResourceWriter.js
+++ b/app/js/ResourceWriter.js
@@ -201,6 +201,10 @@ module.exports = ResourceWriter = {
            // knitr cache
            should_delete = false
          }
+          if (path.match(/^output.(stdout|stderr)$/)) {
+            // latexmk output
+            should_delete = true
+          }
          if (path.match(/^output-.*/)) {
            // Tikz cached figures (default case)
            should_delete = false