|
@@ -3612,7 +3612,7 @@ produced."
|
|
(mapc #'delete-file
|
|
(mapc #'delete-file
|
|
(directory-files
|
|
(directory-files
|
|
(file-name-directory outfile)
|
|
(file-name-directory outfile)
|
|
- nil
|
|
|
|
|
|
+ t
|
|
(concat (regexp-quote (file-name-base outfile))
|
|
(concat (regexp-quote (file-name-base outfile))
|
|
"\\(?:\\.[0-9]+\\)?\\."
|
|
"\\(?:\\.[0-9]+\\)?\\."
|
|
(regexp-opt org-latex-logfiles-extensions))
|
|
(regexp-opt org-latex-logfiles-extensions))
|