From 71ab7db1bafe430e2f2302342ab3ce7a41535880 Mon Sep 17 00:00:00 2001 From: stsh Date: Tue, 1 Mar 2022 14:29:33 +0100 Subject: [PATCH] Update sphinx.mk --- sphinx.mk | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/sphinx.mk b/sphinx.mk index ed88099..9722768 100644 --- a/sphinx.mk +++ b/sphinx.mk @@ -12,9 +12,9 @@ BUILDDIR = build help: @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) -.PHONY: help Makefile +.PHONY: help sphinx.mk # Catch-all target: route all unknown targets to Sphinx using the new # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). -%: Makefile +%: sphinx.mk @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)