# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1153275034 0
# Node ID 248521aae95b84c0e9741238a5c40e92ac3ae8ab
# Parent  e7287a023d2c2272e6e3a550697a9477766bf99a
(Low-Level Network): Make menu more convenient.

diff -r e7287a023d2c -r 248521aae95b lispref/processes.texi
--- a/lispref/processes.texi	Wed Jul 19 01:06:00 2006 +0000
+++ b/lispref/processes.texi	Wed Jul 19 02:10:34 2006 +0000
@@ -1724,9 +1724,10 @@
 @code{make-network-process}.
 
 @menu
-* Network Processes::        Using @code{make-network-process}.
-* Network Options::          Further control over network connections.
-* Network Feature Testing::  Determining which network features work on
+* Proc: Network Processes.   Using @code{make-network-process}.
+* Options: Network Options.  Further control over network connections.
+* Features: Network Feature Testing.
+                             Determining which network features work on
                                the machine you are using.
 @end menu