path: root/Documentation/kbuild
diff options
authorRandy Dunlap <>2020-07-07 11:04:04 -0700
committerJonathan Corbet <>2020-07-13 09:44:06 -0600
commit14bee1674ac59d0267f8c660972edc8da49d314d (patch)
tree22a8ebe4f4ad1a8f75e6e1756c4ed8dc058cca0e /Documentation/kbuild
parente83adbca5b9c1ab3b0f11632a7ed4e4d0dd5c1b4 (diff)
Documentation: kbuild/kconfig-language: eliminate duplicated word
Drop the doubled word "the". Signed-off-by: Randy Dunlap <> Acked-by: Masahiro Yamada <> Cc: Jonathan Corbet <> Cc: Cc: Masahiro Yamada <> Cc: Michal Marek <> Cc: Link: Signed-off-by: Jonathan Corbet <>
Diffstat (limited to 'Documentation/kbuild')
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/kbuild/kconfig-language.rst b/Documentation/kbuild/kconfig-language.rst
index a1601ec3317b..39881b719782 100644
--- a/Documentation/kbuild/kconfig-language.rst
+++ b/Documentation/kbuild/kconfig-language.rst
@@ -681,7 +681,7 @@ translate Kconfig logic into boolean formulas and run a SAT solver on this to
find dead code / features (always inactive), 114 dead features were found in
Linux using this methodology [1]_ (Section 8: Threats to validity).
-Confirming this could prove useful as Kconfig stands as one of the the leading
+Confirming this could prove useful as Kconfig stands as one of the leading
industrial variability modeling languages [1]_ [2]_. Its study would help
evaluate practical uses of such languages, their use was only theoretical
and real world requirements were not well understood. As it stands though