branch: main
commit 568325182489a8702feff281205d1640c984599a
Author: Arash Esbati <ar...@gnu.org>
Commit: Arash Esbati <ar...@gnu.org>
* GNUmakefile (clean): Clean up more generated files.
---
GNUmakefile | 1 +
1 file changed, 1 insertion(+)
diff --git a/GNUmakefile b/GNUmakefile
index 562f2a99..7e374ddb 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -108,6 +108,7 @@ clean:
$(wildcard doc/*.cp doc/*.cps doc/*.fn doc/*.fns) \
$(wildcard doc/*.ky doc/*.kys doc/*.vr doc/*.vrs) \
$(wildcard doc/*.aux doc/*.log doc/*.toc) \
+ $(wildcard doc/*.pdf doc/*.synctex.gz) \
latex/preview-mk.ins latex/preview.ins \
auctex-autoloads.el \
$(DYNVARSFILES)
