--- branches/pure-cfg/Makefile.in	2011/06/22 17:17:30	1365
+++ branches/pure-cfg/Makefile.in	2011/06/22 18:40:29	1366
@@ -25,7 +25,7 @@
 	@echo "                   and building; the resulting tree has the same"
 	@echo "                   files as the distribution."
 	@echo "The following additional targets are primarily for developers:"
-	@echo "  devclean      -- remove everything that is not part of the CVS"
+	@echo "  devclean      -- remove everything that is not part of the SVN"
 	@echo "                   repository."
 
 local-install:
@@ -40,7 +40,7 @@
 
 #################### Cleanup ####################
 
-CLEAN_SUBDIRS =		$(BUILD_DIRS)
+CLEAN_SUBDIRS =		$(BUILD_DIRS) test/MIP test/probe
 
 CLEAN_FILES =

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus: -CLEAN_SUBDIRS =		$(BUILD_DIRS)
+CLEAN_SUBDIRS =		$(BUILD_DIRS) test/MIP test/probe
 
 CLEAN_FILES =</div>
</div></div>
</body></html>