make/MainSupport.gmk
changeset 36506 17612cee3530
parent 35008 ef0cd710989f
child 37034 b63fd4af003e
--- a/make/MainSupport.gmk	Tue Mar 15 13:48:18 2016 -0700
+++ b/make/MainSupport.gmk	Thu Mar 17 19:03:53 2016 +0000
@@ -67,7 +67,6 @@
 	@$(PRINTF) "Cleaning gensrc $(if $1,for $(strip $1) )..."
 	@$(PRINTF) "\n" $(LOG_DEBUG)
 	$(RM) -r $(SUPPORT_OUTPUTDIR)/gensrc/$(strip $1)
-	$(RM) -r $(SUPPORT_OUTPUTDIR)/gensrc_no_docs/$(strip $1)
 	@$(PRINTF) " done\n"
 endef