diff man/custom.texi @ 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 4a45f5c001b2
children 7c5b107612a0 fa9654493afb
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