Add .run.xml to clean list

This commit is contained in:
2023-07-10 19:06:39 +02:00
parent 62a4e38992
commit cb281f235c
+1 -1
View File
@@ -17,4 +17,4 @@ sub run_makeglossaries {
push @generated_exts, 'glo', 'gls', 'glg'; push @generated_exts, 'glo', 'gls', 'glg';
push @generated_exts, 'acn', 'acr', 'alg'; push @generated_exts, 'acn', 'acr', 'alg';
$clean_ext .= ' %R.ist %R.xdy'; $clean_ext .= ' %R.ist %R.xdy %R.run.xml';