2022-12-31 19:36:49 +01:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
JUNK="*.aux *.bbl *.bcf *.blg *.log *.out *.run.xml *.toc *.lof *.lot *.fls *.fdb_latexmk *.synctex* *.ptc *.ind *.ilg *.idx *.glo *.glsdefs *.glg *.gls"
|
|
|
|
for item in $JUNK; do
|
2023-02-27 11:07:49 +01:00
|
|
|
find . -name "$item" -exec rm {} \;
|
2022-12-31 19:36:49 +01:00
|
|
|
done
|