latexmk: Fix copying the synctex file to the root dir

CTSRD-CHERI · Jan 3, 2023 · 138901a · 138901a
1 parent 1fe5114
commit 138901a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -14,6 +14,7 @@
 /cheri-architecture.pdf
 /cheri-architecture-tr.pdf
 /cheri-architecture.run.xml
+/cheri-architecture.synctex.gz
 /cheri-architecture.toc
 /fig-*.fls
 /fig-*.pdf

diff --git a/latexmkrc b/latexmkrc
@@ -53,7 +53,7 @@ if (latexmk_version_at_least("4.67")) {
   # Delete the copied file on failure:
   $failure_cmd = "rm -vf %D %R.pdf; " . $scan_logfile;
   # Otherwise copy it (and possibly the synctex.gz file) out of the build dir and scan the logfile.
-  $copy_files = "cp -v %D %R.pdf; test -f %R.synctex.gz && cp -fv %R.synctex.gz %R.synctex.gz";
+  $copy_files = "cp -v %D %R.pdf; test -f %Z%R.synctex.gz && cp -fv %Z%R.synctex.gz %R.synctex.gz";
   $warning_cmd = $copy_files . "; " . $scan_logfile;
   $success_cmd = $copy_files . "; " . $scan_logfile;
 } else {