diff --git a/windows/clean.bat b/windows/clean.bat index 2448317f..ab78c95d 100644 --- a/windows/clean.bat +++ b/windows/clean.bat @@ -1,2 +1,2 @@ Rem manually performs "make clean" -del *.aux *.d *.toc *.out *.log *.nav *.snm *.sbx *.sxd +FOR %%A IN (*.aux *.d *.toc *.out *.log *.nav *.snm *.sbx *.sxd) DO DEL %%A diff --git a/windows/cleanall.bat b/windows/cleanall.bat index ee0255b1..02df9ca2 100644 --- a/windows/cleanall.bat +++ b/windows/cleanall.bat @@ -1,3 +1,4 @@ +Rem remove pdf files +FOR %%A IN (*.pdf) DO DEL %%A Rem manually performs "make cleanall" windows\\clean.bat -del *.pdf