diff --git a/cleanup.sh b/cleanup.sh new file mode 100755 index 0000000..89704f1 --- /dev/null +++ b/cleanup.sh @@ -0,0 +1,2 @@ +#!/bin/bash +rm *.{lol,log,ilg,idx,aux,bcf,ind,lof,lot,out,run.xml,synctex.gz,toc}