Git commit a866c8bc7704397e2332831a83aac163f457d78f by Adriaan de Groot. Committed on 21/12/2020 at 11:02. Pushed by ouwerkerk into branch 'master'.
Mention cli option in the filtering section as well. M +5 -1 doc/index.docbook https://invent.kde.org/sdk/kdesrc-build/commit/a866c8bc7704397e2332831a83aac163f457d78f diff --git a/doc/index.docbook b/doc/index.docbook index dbfacc9..9e789c6 100644 --- a/doc/index.docbook +++ b/doc/index.docbook @@ -1192,7 +1192,11 @@ decide that you'd rather not download, build, and install <literal>kdeutils</literal>.</para> <para>You can achieve this by using the <link -linkend="conf-ignore-modules">ignore-modules</link> configuration option.</para> +linkend="conf-ignore-modules">ignore-modules</link> configuration option. +On the command line the +<link linkend="ignoring-modules">&cmd-ignore-modules; option</link> +does the same thing, but is more convenient for filtering out a module just once. +</para> <example id="example-ignoring-a-module"> <title>Example for ignoring a kde-project module in a group</title>
