Revision 6899
Added by Matt Jones about 11 years ago
| Makefile | ||
|---|---|---|
| 3 | 3 |
|
| 4 | 4 |
# You can set these variables from the command line. |
| 5 | 5 |
SPHINXOPTS = |
| 6 |
SPHINXBUILD = sphinx-build
|
|
| 6 |
SPHINXBUILD = `which sphinx-build`
|
|
| 7 | 7 |
PAPER = |
| 8 | 8 |
BUILDDIR = ../../../build/docs |
| 9 |
GRAPHVIZ = /opt/local/bin/dot
|
|
| 9 |
GRAPHVIZ = `which dot`
|
|
| 10 | 10 |
|
| 11 | 11 |
# Internal variables. |
| 12 | 12 |
PAPEROPT_a4 = -D latex_paper_size=a4 |
| ... | ... | |
| 36 | 36 |
GRAPHVIZ_DOT=$(GRAPHVIZ) plantuml source |
| 37 | 37 |
|
| 38 | 38 |
html: |
| 39 |
$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html
|
|
| 39 |
$(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR) |
|
| 40 | 40 |
@echo |
| 41 |
@echo "Build finished. The HTML pages are in $(BUILDDIR)/html."
|
|
| 41 |
@echo "Build finished. The HTML pages are in $(BUILDDIR)." |
|
| 42 | 42 |
|
| 43 | 43 |
dirhtml: |
| 44 | 44 |
$(SPHINXBUILD) -b dirhtml $(ALLSPHINXOPTS) $(BUILDDIR)/dirhtml |
Also available in: Unified diff
Modifications to make the build more readily find locally installed versions of
sphinx-build, and to remove the unneccary 'html' directory; output of
admindoc is now written directly into build/docs.