aboutsummaryrefslogtreecommitdiff
path: root/doc/manual.cli
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2020-09-29 11:37:01 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2020-09-29 11:37:01 +0200
commit9dba2e1e7a8aa8de4d5236ab6b5a81d6cf34df1a (patch)
treee816c6216bf0d7f1303e388b0a3630a676a4d654 /doc/manual.cli
parente6d5f9148dea1a1a69d728056e9695e14f0fb050 (diff)
Remove stray text from manual
Diffstat (limited to 'doc/manual.cli')
-rw-r--r--doc/manual.cli3
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/manual.cli b/doc/manual.cli
index ca68535..59084d6 100644
--- a/doc/manual.cli
+++ b/doc/manual.cli
@@ -4866,9 +4866,6 @@ While we have already seen some examples of how to propagate the configuration
values to our source code, \l{#proj-config-propag Configuration Propagation}
discusses this topic in more detail.
-this topic is discussed further in
-.
-
\h#proj-config-report|Configuration Report|