mirror of
https://github.com/MariaDB/server.git
synced 2025-10-31 10:56:12 +01:00
17 lines
502 B
Text
17 lines
502 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_BUILD_COMMAND = \
|
|
DOCUMENT_VERSION="$(DOCUMENT_VERSION)" \
|
|
DOCUMENT_VERSION_FULL="$(DOCUMENT_VERSION_FULL)" \
|
|
LOCALE="$(LOCALE)" \
|
|
$(SPHINX_BUILD)
|