Commit 14bee167 authored by Randy Dunlap's avatar Randy Dunlap Committed by Jonathan Corbet
Browse files

Documentation: kbuild/kconfig-language: eliminate duplicated word 



Drop the doubled word "the".

Signed-off-by: default avatarRandy Dunlap <rdunlap@infradead.org>
Acked-by: default avatarMasahiro Yamada <masahiroy@kernel.org>
Cc: Jonathan Corbet <corbet@lwn.net>
Cc: linux-doc@vger.kernel.org
Cc: Masahiro Yamada <masahiroy@kernel.org>
Cc: Michal Marek <michal.lkml@markovi.net>
Cc: linux-kbuild@vger.kernel.org
Link: https://lore.kernel.org/r/20200707180414.10467-11-rdunlap@infradead.org


Signed-off-by: default avatarJonathan Corbet <corbet@lwn.net>
parent e83adbca

Documentation/kbuild/kconfig-language.rst

+1 −1
Original line number Diff line number Diff line
@@ -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

CRA Git | Maintained and supported by SUSTech CRA and CCSE