revert changes on Makefile of doc

wy-hh · Aug 26, 2024 · a026109 · a026109
1 parent ae93d6d
commit a026109
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/docs/Makefile b/docs/Makefile
@@ -18,5 +18,4 @@ help:
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
 	mkdir -p "$(SOURCEDIR)"
-	$(info "$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)")
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)