diff man/programs.texi @ 59798:0816b427495a

Don't say just "option" when talking about variables.
author Richard M. Stallman <rms@gnu.org>
date Sun, 30 Jan 2005 11:23:17 +0000
parents 279e43932b6f
children 7cb4576800fa fa9654493afb
line wrap: on
line diff
--- a/man/programs.texi	Sun Jan 30 11:21:00 2005 +0000
+++ b/man/programs.texi	Sun Jan 30 11:23:17 2005 +0000
@@ -1277,7 +1277,7 @@
 @vindex hs-hide-comments-when-hiding-all
 @vindex hs-isearch-open
 @vindex hs-special-modes-alist
-  These user options exist for customizing Hideshow mode.
+  These variables exist for customizing Hideshow mode.
 
 @table @code
 @item hs-hide-comments-when-hiding-all