| OLD | NEW |
| 1 # Makefile for Sphinx documentation | 1 # Makefile for Sphinx documentation |
| 2 # | 2 # |
| 3 | 3 |
| 4 # You can set these variables from the command line. | 4 # You can set these variables from the command line. |
| 5 SPHINXOPTS = -W | 5 SPHINXOPTS = -W |
| 6 SPHINXBUILD = sphinx-build | 6 SPHINXBUILD = sphinx-build |
| 7 PAPER = | 7 PAPER = |
| 8 BUILDDIR = _build | 8 BUILDDIR = _build |
| 9 | 9 |
| 10 # User-friendly check for sphinx-build | 10 # User-friendly check for sphinx-build |
| (...skipping 165 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 176 @echo | 176 @echo |
| 177 @echo "Build finished. The XML files are in $(BUILDDIR)/xml." | 177 @echo "Build finished. The XML files are in $(BUILDDIR)/xml." |
| 178 | 178 |
| 179 pseudoxml: | 179 pseudoxml: |
| 180 $(SPHINXBUILD) -b pseudoxml $(ALLSPHINXOPTS) $(BUILDDIR)/pseudoxml | 180 $(SPHINXBUILD) -b pseudoxml $(ALLSPHINXOPTS) $(BUILDDIR)/pseudoxml |
| 181 @echo | 181 @echo |
| 182 @echo "Build finished. The pseudo-XML files are in $(BUILDDIR)/pseudoxml
." | 182 @echo "Build finished. The pseudo-XML files are in $(BUILDDIR)/pseudoxml
." |
| 183 | 183 |
| 184 devsite-prod: | 184 devsite-prod: |
| 185 $(SPHINXBUILD) -b devsite -D devsite_production_mode=1 $(ALLSPHINXOPTS)
$(BUILDDIR)/devsite-prod | 185 $(SPHINXBUILD) -b devsite -D devsite_production_mode=1 $(ALLSPHINXOPTS)
$(BUILDDIR)/devsite-prod |
| 186 » rm -rf $(BUILDDIR)/devsite-staging/images | 186 » rm -rf $(BUILDDIR)/devsite-prod/images |
| 187 cp -r $(BUILDDIR)/devsite-prod/_images $(BUILDDIR)/devsite-prod/images | 187 cp -r $(BUILDDIR)/devsite-prod/_images $(BUILDDIR)/devsite-prod/images |
| 188 @echo | 188 @echo |
| 189 @echo "Build finished. The HTML pages are in $(BUILDDIR)/devsite-prod." | 189 @echo "Build finished. The HTML pages are in $(BUILDDIR)/devsite-prod." |
| 190 | 190 |
| 191 devsite-staging: | 191 devsite-staging: |
| 192 $(SPHINXBUILD) -b devsite -D devsite_foldername=$(USER) -D devsite_produ
ction_mode=1 $(ALLSPHINXOPTS) $(BUILDDIR)/devsite-staging | 192 $(SPHINXBUILD) -b devsite -D devsite_foldername=$(USER) -D devsite_produ
ction_mode=1 $(ALLSPHINXOPTS) $(BUILDDIR)/devsite-staging |
| 193 rm -rf $(BUILDDIR)/devsite-staging/images | 193 rm -rf $(BUILDDIR)/devsite-staging/images |
| 194 cp -r $(BUILDDIR)/devsite-staging/_images $(BUILDDIR)/devsite-staging/im
ages | 194 cp -r $(BUILDDIR)/devsite-staging/_images $(BUILDDIR)/devsite-staging/im
ages |
| 195 cp _reference_toc.yaml $(BUILDDIR)/devsite-staging/ | 195 cp _reference_toc.yaml $(BUILDDIR)/devsite-staging/ |
| 196 @echo | 196 @echo |
| 197 @echo "Build finished. The HTML pages are in $(BUILDDIR)/devsite-staging
." | 197 @echo "Build finished. The HTML pages are in $(BUILDDIR)/devsite-staging
." |
| 198 | 198 |
| 199 devsite: | 199 devsite: |
| 200 $(SPHINXBUILD) -b devsite -D devsite_production_mode=0 $(ALLSPHINXOPTS)
$(BUILDDIR)/devsite | 200 $(SPHINXBUILD) -b devsite -D devsite_production_mode=0 $(ALLSPHINXOPTS)
$(BUILDDIR)/devsite |
| 201 @echo | 201 @echo |
| 202 @echo "Build finished. The HTML pages are in $(BUILDDIR)/devsite." | 202 @echo "Build finished. The HTML pages are in $(BUILDDIR)/devsite." |
| 203 | 203 |
| 204 serve: | 204 serve: |
| 205 cd _build/devsite && python -m SimpleHTTPServer 8009 | 205 cd _build/devsite && python -m SimpleHTTPServer 8009 |
| OLD | NEW |