From e8d603594c0bddc532ad0b8d4b23acc1b7deb21d Mon Sep 17 00:00:00 2001
From: Glen Barber <gjb@FreeBSD.org>
Date: Sat, 5 Feb 2011 21:26:02 +0000
Subject: [PATCH] Note that procfs(5) is necessary for proper GDM
 functionality.

PR:		154070
Submitted by:	Warren Block (wblock of wonkity com)
Approved by:	jkois (mentor)
---
 .../books/handbook/x11/chapter.sgml           | 32 +++++++++++++------
 1 file changed, 23 insertions(+), 9 deletions(-)

diff --git a/en_US.ISO8859-1/books/handbook/x11/chapter.sgml b/en_US.ISO8859-1/books/handbook/x11/chapter.sgml
index e1f8d5b8a9..18f1185e9e 100644
--- a/en_US.ISO8859-1/books/handbook/x11/chapter.sgml
+++ b/en_US.ISO8859-1/books/handbook/x11/chapter.sgml
@@ -1401,6 +1401,15 @@ DisplayManager.requestPort:     0</screen>
         <screen>&prompt.root; <userinput>cd /usr/ports/x11/gnome2</userinput>
 &prompt.root; <userinput>make install clean</userinput></screen>
 
+        <para>For proper operation, <application>GNOME</application> requires
+          the <filename>/proc</filename> filesystem to be mounted.  Add</para>
+
+        <programlisting>proc           /proc       procfs  rw  0   0</programlisting>
+
+        <para>to <filename>/etc/fstab</filename> to mount
+          <filename>procfs</filename> automatically during
+          startup.</para>
+
         <para>Once <application>GNOME</application> is installed,
           the X server must be told to start
           <application>GNOME</application> instead of a default window
@@ -1409,17 +1418,22 @@ DisplayManager.requestPort:     0</screen>
         <para>The easiest way to start
           <application>GNOME</application> is with
           <application>GDM</application>, the GNOME Display Manager.
-          <application>GDM</application>, which is installed as a part
-          of the <application>GNOME</application> desktop (but is
-          disabled by default), can be enabled by adding
-          <literal>gdm_enable="YES"</literal> to
-          <filename>/etc/rc.conf</filename>.  Once you have rebooted,
+          <application>GDM</application> is installed as part
+          of the <application>GNOME</application> desktop, although
+          it is disabled by default.  It can be enabled by adding this
+          line to <filename>/etc/rc.conf</filename>:</para>
+
+        <programlisting>gdm_enable="YES"</programlisting>
+
+        <para>Once you have rebooted,
           <application>GDM</application> will start automatically.</para>
 
-	<para>Additionally, to enable all <application>GNOME</application>
-	  services when <application>GDM</application> starts, add 
-	  <literal>gnome_enable="YES"</literal> to 
-	  <filename>/etc/rc.conf</filename>.</para>
+	<para>It is often desirable to start all
+	  <application>GNOME</application> services together with
+	  <application>GDM</application>.  To achieve this, add the
+	  following line to <filename>/etc/rc.conf</filename>:</para>
+
+	<programlisting>gnome_enable="YES"</programlisting>
 
         <para><application>GNOME</application> may also be started
 	  from the command-line by properly configuring a file named