diff doc/interpreter/basics.txi @ 3686:9507d6de9bbd

[project @ 2000-06-29 16:30:44 by jwe]
author jwe
date Thu, 29 Jun 2000 16:30:45 +0000
parents 3234a698073a
children 63c75bc3db82
line wrap: on
line diff
--- a/doc/interpreter/basics.txi	Wed Jun 28 19:25:04 2000 +0000
+++ b/doc/interpreter/basics.txi	Thu Jun 29 16:30:45 2000 +0000
@@ -297,6 +297,8 @@
 
 @DOCSTRING(INFO_PROGRAM)
 
+@DOCSTRING(MAKEINFO_PROGRAM)
+
 @DOCSTRING(suppress_verbose_help_message)
 
 @node Command Line Editing, Errors, Getting Help, Getting Started