[NaCl Docs] Add a new doc build configuration: devsite-staging.

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

[eliben, 2013/10/02 15:57:32]

Mention USER here?

 
 # User-friendly check for sphinx-build
 ifeq ($(shell which $(SPHINXBUILD) >/dev/null 2>&1; echo $$?), 1)
 $(error The '$(SPHINXBUILD)' command was not found. Make sure you have Sphinx installed, then set the SPHINXBUILD environment variable to point to the full path of the '$(SPHINXBUILD)' executable. Alternatively you can add the directory with the executable to your PATH. If you don't have Sphinx installed, grab it from http://sphinx-doc.org/)
 endif
 
 # Internal variables.
 PAPEROPT_a4     = -D latex_paper_size=a4
 PAPEROPT_letter = -D latex_paper_size=letter
 ALLSPHINXOPTS   = -d $(BUILDDIR)/doctrees $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) .
@@ skipping 157 matching lines @@
         @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
+        rm -f $(BUILDDIR)/devsite-prod/objects.inv
+        rm -f $(BUILDDIR)/devsite-prod/rest-devsite-examples.html
         @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 -f $(BUILDDIR)/devsite-staging/objects.inv
+        rm -f $(BUILDDIR)/devsite-staging/rest-devsite-examples.html
+        @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