diff --git a/doc/Makefile b/doc/Makefile index 5a4746e4..4ecfe0cb 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,12 +1,13 @@ # Minimal makefile for Sphinx documentation +.DEFAULT_GOAL := help + # You can set these variables from the command line. SPHINXOPTS = SPHINXBUILD = sphinx-build SOURCEDIR = . BUILDDIR = _build -# Put it first so that "make" without argument is like "make help". help: @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)