diff options
| -rw-r--r-- | docs/manual/manual.mk | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/docs/manual/manual.mk b/docs/manual/manual.mk index d5db2c26c9..ad9bd903cf 100644 --- a/docs/manual/manual.mk +++ b/docs/manual/manual.mk @@ -12,8 +12,11 @@ MANUAL_RESOURCES = $(TOPDIR)/docs/images # should not be included in the manual. define MANUAL_GEN_LISTS $(Q)$(call MESSAGE,"Updating the manual lists...") - $(Q)BR2_DEFCONFIG="" TOPDIR=$(TOPDIR) O=$(@D) \ + $(Q)$(COMMON_CONFIG_ENV) \ + BR2_DEFCONFIG="" \ BR2_EXTERNAL=$(TOPDIR)/support/dummy-external \ + TOPDIR=$(TOPDIR) \ + O=$(@D) \ python -B $(TOPDIR)/support/scripts/gen-manual-lists.py endef MANUAL_POST_RSYNC_HOOKS += MANUAL_GEN_LISTS |
