diff doc/interpreter/basics.texi @ 3180:c17387059fd3

[project @ 1998-09-24 18:59:11 by jwe]
author jwe
date Thu, 24 Sep 1998 19:00:19 +0000
parents 7c96e85c76db
children bef7b73c0724
line wrap: on
line diff
--- a/doc/interpreter/basics.texi
+++ b/doc/interpreter/basics.texi
@@ -732,7 +732,7 @@
 @end defvr
 
 @defvr {Built-in Variable} saving_history
-If the value of @code{saving_history} is @code{"true"}, command entered
+If the value of @code{saving_history} is nonzero, command entered
 on the command line are saved in the file specified by the variable
 @code{history_file}.
 @end defvr