[03/20] Documentation: printk-basics: eliminate duplicated word
diff mbox series

Message ID 20200707180414.10467-4-rdunlap@infradead.org
State New
Headers show
  • Documentation: eliminate duplicated words
Related show

Commit Message

Randy Dunlap July 7, 2020, 6:03 p.m. UTC
Drop the doubled word "the".

Signed-off-by: Randy Dunlap <rdunlap@infradead.org>
Cc: Jonathan Corbet <corbet@lwn.net>
Cc: linux-doc@vger.kernel.org
 Documentation/core-api/printk-basics.rst |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff mbox series

--- linux-next-20200701.orig/Documentation/core-api/printk-basics.rst
+++ linux-next-20200701/Documentation/core-api/printk-basics.rst
@@ -69,7 +69,7 @@  You can check the current *console_logle
 The result shows the *current*, *default*, *minimum* and *boot-time-default* log
-To change the current console_loglevel simply write the the desired level to
+To change the current console_loglevel simply write the desired level to
 ``/proc/sys/kernel/printk``. For example, to print all messages to the console::
   # echo 8 > /proc/sys/kernel/printk