From 90e3cb3f0e14cadecc0edf2b6de96ee432bc60de Mon Sep 17 00:00:00 2001
From: Alex Gronenwoud <alex@linuxfromscratch.org>
Date: Sun, 1 Feb 2004 21:49:10 +0000
Subject: Replacing several <userinput> tags by <command>.

git-svn-id: http://svn.linuxfromscratch.org/LFS/trunk/BOOK@3203 4aa44e1e-78dd-0310-a6d2-fbcd4c07a689
---
 chapter06/mountproc.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'chapter06/mountproc.xml')

diff --git a/chapter06/mountproc.xml b/chapter06/mountproc.xml
index a60f76e10..e15c3546e 100644
--- a/chapter06/mountproc.xml
+++ b/chapter06/mountproc.xml
@@ -44,7 +44,7 @@ now the most common way for pseudo terminals (PTYs) to be implemented.</para>
 <para>The most likely cause is that your host system's kernel was compiled
 without support for the devpts file system. You can check which file systems
 your kernel supports by peeking into its internals with a command such as
-<userinput>cat /proc/filesystems</userinput>. If a file system type named
+<command>cat /proc/filesystems</command>. If a file system type named
 <emphasis>devfs</emphasis> is listed there, then we'll be able to work around
 the problem by mounting the host's devfs file system on top of the new
 <filename>/dev</filename> structure which we'll create later on in the section
-- 
cgit v1.2.3-54-g00ecf