diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 00000000..90953467 --- /dev/null +++ b/Makefile @@ -0,0 +1,21 @@ +BUILDDIR = build +DESIGN_DOCS = $(wildcard design_docs/*.rst) + +.PHONY: clean html pdf all + +all: html pdf + +clean: + rm -rf $(BUILDDIR)/* + +html: $(DESIGN_DOCS) + mkdir -p build/design_docs + rst2html.py $^ $(BUILDDIR)/$(^:.rst=.html) + sphinx-build -b html -c etc -d $(BUILDDIR)/doctrees \ + requirements $(BUILDDIR)/requirements/html + +pdf: + sphinx-build -b latex -c etc -d $(BUILDDIR)/doctrees \ + requirements $(BUILDDIR)/requirements/latex + $(MAKE) -C $(BUILDDIR)/requirements/latex \ + LATEXOPTS='--interaction=nonstopmode' all-pdf |