[Tools] Ergänze cleanup.sh

Mit cleanup.sh können die unnötigen Dateien gelöscht werden.
This commit is contained in:
Andre Meyering 2017-07-30 14:06:22 +02:00
parent 6ec4bb2714
commit 99b6e3508a

2
cleanup.sh Executable file
View file

@ -0,0 +1,2 @@
#!/bin/bash
rm *.{lol,log,ilg,idx,aux,bcf,ind,lof,lot,out,run.xml,synctex.gz,toc}