changeset 59802:67941974673e

(Easy Customization): Adapt menu to node name change.
author Luc Teirlinck <teirllm@auburn.edu>
date Sun, 30 Jan 2005 14:45:53 +0000
parents cd33f6f654f7
children 1d029199bde6
files man/custom.texi
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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