From ea3b48afeba5113935426f27856cfe0bc9ccf729 Mon Sep 17 00:00:00 2001 From: Nicholas Nadeau Date: Mon, 26 Sep 2022 10:47:18 -0400 Subject: [PATCH] build(makefile): explicit DEFAULT_GOAL --- doc/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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)