# HG changeset patch
# User Luc Teirlinck <teirllm@auburn.edu>
# Date 1107096353 0
# Node ID 67941974673ea506801e1679e9a0c6e323f5aa56
# Parent  cd33f6f654f771c87d85bfc090b9ea5a61cdd3af
(Easy Customization): Adapt menu to node name change.

diff -r cd33f6f654f7 -r 67941974673e man/custom.texi
--- a/man/custom.texi	Sun Jan 30 11:35:43 2005 +0000
+++ b/man/custom.texi	Sun Jan 30 14:45:53 2005 +0000
@@ -200,7 +200,7 @@
 @menu
 * Groups: Customization Groups.
                              How options are classified in a structure.
-* Changing an Option::       How to edit a value and set an option.
+* Changing a Variable::      How to edit a value and set an option.
 * Saving Customizations::    Details of saving customizations.
 * Face Customization::       How to edit the attributes of a face.
 * Specific Customization::   Making a customization buffer for specific