summaryrefslogtreecommitdiff
path: root/api-docs/Makefile
diff options
context:
space:
mode:
authorJordan Wiens <jordan@psifertex.com>2020-10-16 16:38:39 -0400
committerJordan Wiens <jordan@psifertex.com>2020-10-21 15:44:13 -0400
commit2dd60db958a500469e60e383ebcd5aac2a9e4b43 (patch)
tree54245c3c0917df843a202dc7c4ec1011c2abfdcf /api-docs/Makefile
parentf007112a3de561cc49b8632dbb7e316fd106d108 (diff)
interim progress using exhale
Diffstat (limited to 'api-docs/Makefile')
-rw-r--r--api-docs/Makefile13
1 files changed, 7 insertions, 6 deletions
diff --git a/api-docs/Makefile b/api-docs/Makefile
index d3111849..5da106b3 100644
--- a/api-docs/Makefile
+++ b/api-docs/Makefile
@@ -2,18 +2,18 @@
#
# You can set these variables from the command line.
-SPHINXOPTS =
-SPHINXBUILD = sphinx-build
+SPHINXOPTS ?= -j auto
+SPHINXBUILD ?= sphinx-build
PAPER =
-BUILDDIR = build
-SOURCEDIR = source
+BUILDDIR ?= build
+SOURCEDIR ?= source
# Internal variables.
PAPEROPT_a4 = -D latex_paper_size=a4
PAPEROPT_letter = -D latex_paper_size=letter
-ALLSPHINXOPTS = -d $(BUILDDIR)/doctrees $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) source
+ALLSPHINXOPTS = -d $(BUILDDIR)/doctrees $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) $(SOURCEDIR)
# the i18n builder cannot share the environment and doctrees with the others
-I18NSPHINXOPTS = $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) source
+I18NSPHINXOPTS = $(PAPEROPT_$(PAPER)) $(SPHINXOPTS) $(SOURCEDIR)
.PHONY: help
help:
@@ -50,6 +50,7 @@ clean:
rm -rf $(BUILDDIR)/*
rm -f $(SOURCEDIR)/binaryninja.*.rst
rm -f $(SOURCEDIR)/index.rst
+ rm -f $(SOURCEDIR)/api/*.rst
.PHONY: html
html: