From 7c10f6b3cbc40bc69ec8ea85a5c7971bac231db0 Mon Sep 17 00:00:00 2001
From: Romain Goffe <romain.goffe@gmail.com>
Date: Sat, 29 Oct 2011 15:53:10 +0200
Subject: [PATCH] windows: add cleanall script

---
 windows/cleanall.bat | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 windows/cleanall.bat

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