Webengineering_Roethig/cleanup.sh
Andre Meyering 99b6e3508a [Tools] Ergänze cleanup.sh
Mit cleanup.sh können die unnötigen Dateien gelöscht werden.
2017-07-30 14:06:22 +02:00

2 lines
82 B
Bash
Executable file

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