diff options
| -rw-r--r-- | docs/Makefile | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/docs/Makefile b/docs/Makefile index 3dd7ebc4d..5bc24db79 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,5 +1,5 @@ # -# Copyright (c) 2019-2020, ARM Limited. All rights reserved. +# Copyright (c) 2019-2023, ARM Limited. All rights reserved. # # SPDX-License-Identifier: BSD-3-Clause # @@ -13,13 +13,20 @@ SPHINXPROJ = TrustedFirmware-A SOURCEDIR = . BUILDDIR = build +V ?= 0 +ifeq ($(V),0) + Q := @ +else + Q := +endif + # Put it first so that "make" without argument is like "make help". help: - @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) + ${Q}$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) .PHONY: help Makefile # Catch-all target: route all unknown targets to Sphinx using the new # "make mode" option. $(O) is meant as a shortcut for $(SPHINXOPTS). %: Makefile - @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) + ${Q}$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) |