[sdk/kdesrc-build] doc: Mention cli option in the filtering section as well.

[Adriaan de Groot]

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>