Index: native_client_sdk/src/doc/Makefile |
diff --git a/native_client_sdk/src/doc/Makefile b/native_client_sdk/src/doc/Makefile |
index 2fc4e0fe2798c3a6af278caa846d8f88b63d05ec..c3fece04d5ce7d14c6d09a48176b1f8eaa18b089 100644 |
--- a/native_client_sdk/src/doc/Makefile |
+++ b/native_client_sdk/src/doc/Makefile |
@@ -183,9 +183,18 @@ 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 |