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

native_client_sdk/src/doc/Makefile

 # Makefile for Sphinx documentation
 #
 
 # You can set these variables from the command line.
 SPHINXOPTS    = -W
 SPHINXBUILD   = sphinx-build
 PAPER         =
 BUILDDIR      = _build
 
 # User-friendly check for sphinx-build
@@ skipping 164 matching lines @@
         $(SPHINXBUILD) -b xml $(ALLSPHINXOPTS) $(BUILDDIR)/xml
         @echo
         @echo "Build finished. The XML files are in $(BUILDDIR)/xml."
 
 pseudoxml:
         $(SPHINXBUILD) -b pseudoxml $(ALLSPHINXOPTS) $(BUILDDIR)/pseudoxml
         @echo
         @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."
 
 devsite-staging:
         $(SPHINXBUILD) -b devsite -D devsite_foldername=$(USER) -D devsite_production_mode=1 $(ALLSPHINXOPTS) $(BUILDDIR)/devsite-staging
         rm -rf $(BUILDDIR)/devsite-staging/images
         cp -r $(BUILDDIR)/devsite-staging/_images $(BUILDDIR)/devsite-staging/images
         cp _reference_toc.yaml $(BUILDDIR)/devsite-staging/
         @echo
         @echo "Build finished. The HTML pages are in $(BUILDDIR)/devsite-staging."
 
 devsite:
         $(SPHINXBUILD) -b devsite -D devsite_production_mode=0 $(ALLSPHINXOPTS) $(BUILDDIR)/devsite
         @echo
         @echo "Build finished. The HTML pages are in $(BUILDDIR)/devsite."
 
 serve:
         cd _build/devsite && python -m SimpleHTTPServer 8009