[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PULL 05/12] Makefile: Make all Sphinx documentation depend on the exten
From: |
Peter Maydell |
Subject: |
[PULL 05/12] Makefile: Make all Sphinx documentation depend on the extensions |
Date: |
Thu, 12 Mar 2020 11:44:01 +0000 |
Add the Python source files of our Sphinx extensions to the
dependencies of the Sphinx manuals, so that if we edit the
extension source code the manuals get rebuilt.
Adding this dependency unconditionally means that we'll rebuild
a manual even if it happens to not use the extension whose
source file was changed, but this is simpler and less error
prone, and it's unlikely that we'll be making frequent changes
to the extensions.
Signed-off-by: Peter Maydell <address@hidden>
Reviewed-by: Richard Henderson <address@hidden>
Message-id: address@hidden
---
Makefile | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index fae4ce181ea..65e89b5095a 100644
--- a/Makefile
+++ b/Makefile
@@ -1080,7 +1080,8 @@ build-manual = $(call
quiet-command,CONFDIR="$(qemu_confdir)" $(SPHINX_BUILD) $(
# We assume all RST files in the manual's directory are used in it
manual-deps = $(wildcard $(SRC_PATH)/docs/$1/*.rst) \
$(SRC_PATH)/docs/defs.rst.inc \
- $(SRC_PATH)/docs/$1/conf.py $(SRC_PATH)/docs/conf.py
+ $(SRC_PATH)/docs/$1/conf.py $(SRC_PATH)/docs/conf.py \
+ $(SRC_PATH)/docs/sphinx/*.py
# Macro to write out the rule and dependencies for building manpages
# Usage: $(call define-manpage-rule,manualname,manpage1
manpage2...[,extradeps])
# 'extradeps' is optional, and specifies extra files (eg .hx files) that
--
2.20.1
- [PULL 00/12] docs queue, Peter Maydell, 2020/03/12
- [PULL 01/12] Makefile: Remove redundant Texinfo related code, Peter Maydell, 2020/03/12
- [PULL 02/12] Update comments in .hx files that mention Texinfo, Peter Maydell, 2020/03/12
- [PULL 03/12] hxtool: Remove Texinfo generation support, Peter Maydell, 2020/03/12
- [PULL 04/12] docs/sphinx/hxtool.py: Remove STEXI/ETEXI support, Peter Maydell, 2020/03/12
- [PULL 05/12] Makefile: Make all Sphinx documentation depend on the extensions,
Peter Maydell <=
- [PULL 06/12] docs/index.rst, docs/index.html.in: Reorder manuals, Peter Maydell, 2020/03/12
- [PULL 07/12] docs/qemu-option-trace.rst.inc: Remove redundant comment, Peter Maydell, 2020/03/12
- [PULL 08/12] Makefile: Allow for subdirectories in Sphinx manual dependencies, Peter Maydell, 2020/03/12
- [PULL 10/12] docs/system/target-arm.rst: Add some introductory text, Peter Maydell, 2020/03/12
- [PULL 11/12] docs: Move arm-cpu-features.rst into the system manual, Peter Maydell, 2020/03/12
- [PULL 09/12] docs/system: Split target-arm.rst into sub-documents, Peter Maydell, 2020/03/12
- [PULL 12/12] docs: Be consistent about capitalization of 'Arm', Peter Maydell, 2020/03/12
- Re: [PULL 00/12] docs queue, Peter Maydell, 2020/03/12