aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 10f0831..6e3ad71 100644
--- a/Makefile
+++ b/Makefile
@@ -69,6 +69,7 @@ uninstall-info:
clean: clean-texinfo
clean-texinfo:
-rm -- *.{info,pdf,ps,dvi}{,.gz,.bz2,.xz}
+ -rm -- *.{aux,cp,cps,fn,ky,log,pg,pgs,toc,tp,vr,vrs}
## License section