1 files changed, 5 insertions, 4 deletions

diff --git a/documentation/dev-manual/dev-manual-common-tasks.xml b/documentation/dev-manual/dev-manual-common-tasks.xml
index c2a361c6bb..a4992d1ce9 100644
--- a/documentation/dev-manual/dev-manual-common-tasks.xml
+++ b/documentation/dev-manual/dev-manual-common-tasks.xml
@@ -7599,7 +7599,7 @@
                     is persistent and the required device nodes are created
                     during the build.
                     </para></listitem>
-                <listitem><para><emphasis>Use <filename>devtmps</filename> with a Device Manager:</emphasis>
+                <listitem><para><emphasis>Use <filename>devtmpfs</filename> with a Device Manager:</emphasis>
                     For this case, the <filename>/dev</filename> directory
                     is provided by the kernel as an in-memory file system and
                     is automatically populated by the kernel at runtime.
@@ -7650,7 +7650,7 @@
             </para>
         </section>
 
-        <section id="devtmps-dev-management">
+        <section id="devtmpfs-dev-management">
             <title>Using <filename>devtmpfs</filename> and a Device Manager</title>
 
             <para>
@@ -7662,10 +7662,11 @@
      USE_DEVFS = "1"
                 </literallayout>
                 With this setting, the resulting <filename>/dev</filename>
-                is populated by the kernel using <filename>devtmpfs</filename>.
+                directory is populated by the kernel using
+                <filename>devtmpfs</filename>.
                 Make sure the corresponding kernel configuration variable
                 <filename>CONFIG_DEVTMPFS</filename> is set when building
-                you build a linux kernel.
+                you build a Linux kernel.
             </para>
 
             <para>