From bc682e03de2429825cf6e1d4fdd68c168dfba09a Mon Sep 17 00:00:00 2001 From: Atharva Arya Date: Mon, 16 Dec 2024 13:55:28 +0530 Subject: [PATCH] Reset Makefile --- docs/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/Makefile b/docs/Makefile index 99275f0af2e..0015d588f1f 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -42,7 +42,7 @@ clean: -rm -rf generated html: - $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html -j $(NCORES) -vvv + $(SPHINXBUILD) -b html $(ALLSPHINXOPTS) $(BUILDDIR)/html -j $(NCORES) @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html."