From 0575723b97211e10b5da00ace8934db00f58aa0e Mon Sep 17 00:00:00 2001 From: Romain Goffe Date: Wed, 18 Jan 2012 20:23:42 +0100 Subject: [PATCH] windows: correct cleanall script --- windows/cleanall.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/windows/cleanall.bat b/windows/cleanall.bat index 1fa4dec7..ee0255b1 100644 --- a/windows/cleanall.bat +++ b/windows/cleanall.bat @@ -1,3 +1,3 @@ Rem manually performs "make cleanall" -clean.bat +windows\\clean.bat del *.pdf