Minor tweaks to Makefile to make it easier to push docs to DevSite.

native_client_sdk/src/doc/Makefile

Index: native_client_sdk/src/doc/Makefile
diff --git a/native_client_sdk/src/doc/Makefile b/native_client_sdk/src/doc/Makefile
index 89c514584202f5d65c40dfad7b6a73d1fd839a52..232697a61e4cc461e1f59c6beb6f1c43399a4c66 100644
--- a/native_client_sdk/src/doc/Makefile
+++ b/native_client_sdk/src/doc/Makefile
@@ -182,9 +182,10 @@ pseudoxml:
 	@echo "Build finished. The pseudo-XML files are in $(BUILDDIR)/pseudoxml."
 
 devsite-prod:
-	$(SPHINXBUILD) -b devsite -D devsite_production_mode=1 $(ALLSPHINXOPTS) $(BUILDDIR)/devsite-prod
+	$(SPHINXBUILD) -b devsite -D devsite_production_mode=1 -D devsite_foldername=dev $(ALLSPHINXOPTS) $(BUILDDIR)/devsite-prod
 	rm -rf $(BUILDDIR)/devsite-prod/images
 	cp -r $(BUILDDIR)/devsite-prod/_images $(BUILDDIR)/devsite-prod/images
+	rm -rf $(BUILDDIR)/devsite-prod/{_images,peppercpp,searchindex.js}
 	@echo
 	@echo "Build finished. The HTML pages are in $(BUILDDIR)/devsite-prod."