branch: externals/auctex
commit 6962c34a28dbf62622f46fbeca77295223c3112c
Author: Mosè Giordano <m...@gnu.org>
Commit: Mosè Giordano <m...@gnu.org>
Avoid checking duplicate directories in TeX-check-files
* tex-buf.el (TeX-check-files): Delete duplicate directories in paths
list before performing the check.
---
tex-buf.el | 25 +++++++++++++------------
1 files changed, 13 insertions(+), 12 deletions(-)
diff --git a/tex-buf.el b/tex-buf.el
index 52483dc..c2ba9f8 100644
--- a/tex-buf.el
+++ b/tex-buf.el
@@ -569,18 +569,19 @@ ORIGINALS which are modified but not saved yet."
found
(extensions (TeX-delete-duplicate-strings extensions))
(buffers (buffer-list)))
- (dolist (path (mapcar (lambda (dir)
- (expand-file-name (file-name-as-directory dir)))
- (append
- TeX-check-path
- ;; In `TeX-command-default', this function is used to
- ;; check whether bibliography databases are newer
- ;; than generated *.bbl files, but bibliography
- ;; database are relative to `TeX-master-directory'
- ;; and the test can be run also from included files
- ;; that are in directories different from
- ;; `TeX-master-directory'.
- (list (TeX-master-directory)))))
+ (dolist (path (TeX-delete-duplicate-strings
+ (mapcar (lambda (dir)
+ (expand-file-name (file-name-as-directory dir)))
+ (append
+ TeX-check-path
+ ;; In `TeX-command-default', this function is used
to
+ ;; check whether bibliography databases are newer
+ ;; than generated *.bbl files, but bibliography
+ ;; database are relative to `TeX-master-directory'
+ ;; and the test can be run also from included files
+ ;; that are in directories different from
+ ;; `TeX-master-directory'.
+ (list (TeX-master-directory))))))
(dolist (orig originals)
(dolist (ext extensions)
(let ((filepath (concat path orig "." ext)))
