| 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..d9faadf1d469fd9f66a8e00623b27def4ce195fd 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 -rf $(BUILDDIR)/devsite-staging/images
|
| + cp -r $(BUILDDIR)/devsite-prod/_images $(BUILDDIR)/devsite-prod/images
|
| @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
|
| + @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
|
|
|