changeset 67987:121a9a222aab

Minor tweak.
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 03 Jan 2006 03:36:49 +0000
parents ac2f62182b94
children 7882fc7df359
files man/custom.texi
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/man/custom.texi	Tue Jan 03 03:34:21 2006 +0000
+++ b/man/custom.texi	Tue Jan 03 03:36:49 2006 +0000
@@ -706,7 +706,7 @@
   You can view and edit the settings of a previously-defined theme by
 clicking on @samp{Visit Theme} and specifying the theme name.  You can
 also import the variables and faces that you have set using Customize
-by visiting the ``special'' theme named @var{user}.  This theme, which
+by visiting the ``special'' theme named @samp{user}.  This theme, which
 records all the options that you set in the ordinary customization
 buffer, is always enabled, and always takes precedence over all other
 enabled Custom themes.  Additionally, the @samp{user} theme is