Added "distclean" target to the Makefile, which is expected by the
scripts handling automatic updates to the tarball and website.
diff --git a/Makefile b/Makefile
index 02000c3..9f28a08 100644
--- a/Makefile
+++ b/Makefile
@@ -79,3 +79,7 @@
veryclean:
for tech in ${TECHS}; do \
${MAKE} veryclean-$${tech}; done
+
+distclean:
+ for tech in ${TECHS}; do \
+ ${MAKE} veryclean-$${tech}; done
diff --git a/VERSION b/VERSION
index 7dea76e..6d7de6e 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.0.1
+1.0.2
