From 529ea4cae19361acdb2e64b4f667d568ba4b64df Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?G=C3=A1bor=20Stefanik?= Date: Fri, 22 Dec 2023 13:12:40 +0100 Subject: [PATCH] Explain significance of build-bash and improve-network directives --- steps/manifest | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/steps/manifest b/steps/manifest index 4d475a1..b1ebe68 100644 --- a/steps/manifest +++ b/steps/manifest @@ -16,6 +16,13 @@ # - jump: jump (usually) to a new kernel, executes a script with that name # eg, jump: fiwix # +# The following directives have special significance: +# - build directives beginning with "bash" (as well as jumps) trigger the generation of +# a new script +# - the first improve directive containing "network" is used by generator.py to deduce +# what source files need to be downloaded in advance (files referenced after that will +# be downloaded during bootstrap, unless --external-sources is given) +# # Other features: # - predicate; based on variables set in bootstrap.cfg, require for something to execute # must be enclosed in brackets with spaces padded