diff options
| -rw-r--r-- | make.texinfo | 13 |
1 files changed, 5 insertions, 8 deletions
diff --git a/make.texinfo b/make.texinfo index 6000266..41c61be 100644 --- 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} |