Add indent.log to clean

This commit is contained in:
Anton Mosich 2022-11-14 15:24:57 +01:00
parent 643d94503d
commit 1424897307
Signed by: Flugschwein
GPG Key ID: 9303E1C32E3A14A0
1 changed files with 1 additions and 1 deletions

View File

@ -1,3 +1,3 @@
$pdf_mode = 1;
$pdflatex = 'pdflatex --shell-escape';
$clean_ext = '%R_contourtmp0.dat %R_contourtmp0.table %R_contourtmp0.script thm %R.bak*';
$clean_ext = '%R_contourtmp0.dat %R_contourtmp0.table %R_contourtmp0.script indent.log thm %R.bak*';