diff options
| author | Sandrine Bailleux <sandrine.bailleux@arm.com> | 2023-04-18 17:10:04 +0200 |
|---|---|---|
| committer | TrustedFirmware Code Review <review@review.trustedfirmware.org> | 2023-04-18 17:10:04 +0200 |
| commit | 0223d15764ed78319c0eac00c641c6148898a395 (patch) | |
| tree | c7ca2c7df17dc40653d46e2a3e759f18207cc4a8 | |
| parent | ffc56bd02d66b524193aeebdf4dea7c9dc14ca8d (diff) | |
| parent | f771a3446356d92c6c27df5c4f3bb07a2561b36b (diff) | |
| download | trustedfirmware-a-master.tar.gz | |
| -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) |