diff options
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |