diff --git a/debian/README b/debian/README index db3125849..de7d78b49 100644 --- a/debian/README +++ b/debian/README @@ -199,3 +199,7 @@ default_config * If it is not defined and config.default exists, use that. * If neither default_config is defined not config.default exists, pick the first flavour from the flavour list and use its config. + + Typical usage: + + default_config := 386