From c11e311c2947dc5c9a24db26c84736e836f96271 Mon Sep 17 00:00:00 2001 From: Bryan Brancotte <bryan.brancotte@pasteur.fr> Date: Wed, 12 Jul 2023 14:45:16 +0200 Subject: [PATCH] fix make clean that was failing --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a7d5f4d..b9fa825 100644 --- a/Makefile +++ b/Makefile @@ -17,5 +17,5 @@ help: # Catch-all target: route all unknown targets to Sphinx using the new # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). %: Makefile - @$(SPHINXAPI) -o $(SOURCEDIR) $(SPHINXAPISRC) @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) + -- GitLab