| 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
|
|
|