diff --git a/windows/cleanall.bat b/windows/cleanall.bat new file mode 100644 index 00000000..1fa4dec7 --- /dev/null +++ b/windows/cleanall.bat @@ -0,0 +1,3 @@ +Rem manually performs "make cleanall" +clean.bat +del *.pdf