diff options
| -rw-r--r-- | docs/manual/manual.mk | 2 | ||||
| -rw-r--r--[-rwxr-xr-x] | support/scripts/gen-manual-lists.py | 2 |
2 files changed, 1 insertions, 3 deletions
diff --git a/docs/manual/manual.mk b/docs/manual/manual.mk index 09265665a2..f0bbff8e26 100644 --- a/docs/manual/manual.mk +++ b/docs/manual/manual.mk @@ -1,7 +1,7 @@ manual-update-lists: manual-check-dependencies-lists $(Q)$(call MESSAGE,"Updating the manual lists...") $(Q)BR2_DEFCONFIG="" TOPDIR=$(TOPDIR) O=$(O)/docs/manual/.build \ - $(TOPDIR)/support/scripts/gen-manual-lists.py + python -B $(TOPDIR)/support/scripts/gen-manual-lists.py # we can't use suitable-host-package here because that's not available in # the context of 'make release' diff --git a/support/scripts/gen-manual-lists.py b/support/scripts/gen-manual-lists.py index 4546e07656..4562d7e2ce 100755..100644 --- a/support/scripts/gen-manual-lists.py +++ b/support/scripts/gen-manual-lists.py @@ -1,5 +1,3 @@ -#!/usr/bin/env python -## ## gen-manual-lists.py ## ## This script generates the following Buildroot manual appendices: |
