mirror of
https://github.com/MariaDB/server.git
synced 2025-01-23 07:14:17 +01:00
19 lines
589 B
Text
19 lines
589 B
Text
# You can set these variables from the command line.
|
|
DOCTREES_BASE = doctrees
|
|
|
|
SPHINXOPTS =
|
|
PAPER =
|
|
|
|
# Internal variables.
|
|
SOURCE_DIR = $(abs_top_srcdir)/doc/source
|
|
PAPEROPT_a4 = -D latex_paper_size=a4
|
|
PAPEROPT_letter = -D latex_paper_size=letter
|
|
ALLSPHINXOPTS = $(PAPEROPT_$(PAPER)) -E $(SPHINXOPTS) $(SOURCE_DIR)
|
|
|
|
SPHINX_DIR = $(abs_top_builddir)/doc/sphinx
|
|
SPHINX_BUILD_COMMAND = \
|
|
DOCUMENT_VERSION="$(DOCUMENT_VERSION)" \
|
|
DOCUMENT_VERSION_FULL="$(DOCUMENT_VERSION_FULL)" \
|
|
LOCALE="$(LOCALE)" \
|
|
PYTHONPATH="$(SPHINX_DIR):$$PYTHONPATH" \
|
|
$(SPHINX_BUILD)
|