diff options
Diffstat (limited to 'docs/manual')
| -rw-r--r-- | docs/manual/manual.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/manual/manual.mk b/docs/manual/manual.mk index caf080a84d..b26f912341 100644 --- a/docs/manual/manual.mk +++ b/docs/manual/manual.mk @@ -7,6 +7,9 @@ MANUAL_SOURCES = $(sort $(wildcard docs/manual/*.txt) $(wildcard docs/images/*)) MANUAL_RESOURCES = $(TOPDIR)/docs/images +# Ensure the kconfig snippet is generated (for MANUAL_GEN_LISTS, below): +MANUAL_DEPENDENCIES += prepare-kconfig + # Our manual needs to generate lists define MANUAL_GEN_LISTS $(Q)$(call MESSAGE,"Updating the manual lists...") |
