main 56832518: * GNUmakefile (clean): Clean up more generated files.

[Arash Esbati]

branch: main
commit 568325182489a8702feff281205d1640c984599a
Author: Arash Esbati <arash@gnu.org>
Commit: Arash Esbati <arash@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)