[PATCH 03/20] Documentation: printk-basics: eliminate duplicated word

Randy Dunlap rdunlap at infradead.org
Tue Jul 7 18:03:57 UTC 2020


Drop the doubled word "the".

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

--- 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
 levels.
 
-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


More information about the dri-devel mailing list