diff src/data.cc @ 3443:bf22deaf04ed

[project @ 2000-01-17 08:28:27 by jwe]
author jwe
date Mon, 17 Jan 2000 08:28:27 +0000
parents 3234a698073a
children b80bbb43a1a9
line wrap: on
line diff
--- a/src/data.cc	Mon Jan 17 08:18:42 2000 +0000
+++ b/src/data.cc	Mon Jan 17 08:28:27 2000 +0000
@@ -1332,7 +1332,10 @@
 @end defvr");
 
   DEFCONST (false, false,
-    "logical false value");
+    "-*- texinfo -*-\n\
+@defvr {Built-in Variable} false\n\
+Logical false value.\n\
+@end defvr");
 
   DEFCONST (i, Complex (0.0, 1.0),
     IMAGINARY_DOC_STRING);
@@ -1392,7 +1395,10 @@
 @end defvr");
 
   DEFCONST (true, true,
-    "logical true value");
+    "-*- texinfo -*-\n\
+@defvr {Built-in Variable} true\n\
+Logical true value.\n\
+@end defvr");
 
 }