Formerly make.texinfo.~92~

diff --git a/make.texinfo b/make.texinfo
index 6000266..41c61be 100644 (file)
--- a/make.texinfo
+++ b/make.texinfo
@@ -8,9 +8,9 @@
 @c For publication, format makebook.texi instead of using this file directly.
 
 @set EDITION 0.41
-@set VERSION 3.64 Beta
-@set UPDATED 16 April 1993
-@set UPDATE-MONTH April 1993
+@set VERSION 3.66 Beta
+@set UPDATED 14 May 1993
+@set UPDATE-MONTH May 1993
 
 @c finalout
 
@@ -436,7 +436,7 @@ through the Internet or via UUCP:
 
 @noindent
 Please include the version number of @code{make} you are using.  You can
-get this information with the command @samp{make --version -f /dev/null}.
+get this information with the command @samp{make --version}.
 Be sure also to include the type of machine and operating system you are
 using.  If possible, include the contents of the file @file{config.h}
 that is generated by the configuration process.
@@ -6063,10 +6063,7 @@ commands were done, in order to fool future invocations of
 @itemx --version
 @cindex @code{--version}
 Print the version of the @code{make} program plus a copyright, a list
-of authors, and a notice that there is no warranty.  After this
-information is printed, continue processing normally.  To get this
-information without doing anything else, use
-@w{@samp{make --version -f /dev/null}}.
+of authors, and a notice that there is no warranty; then exit.
 
 @item -w
 @cindex @code{-w}