summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoland McGrath <roland@redhat.com>1994-01-17 22:06:11 +0000
committerRoland McGrath <roland@redhat.com>1994-01-17 22:06:11 +0000
commit68a5f2a17ac7e72f5fa2afb5568645f89a33a54c (patch)
tree78bf86bd6953362efac6bca083826881efd0f581
parent50bb35c3e3f3e80d47ff919394273355fd38e543 (diff)
downloadgunmake-68a5f2a17ac7e72f5fa2afb5568645f89a33a54c.tar.gz
Formerly make.texinfo.~125~
-rw-r--r--make.texinfo15
1 files changed, 8 insertions, 7 deletions
diff --git a/make.texinfo b/make.texinfo
index 871d37d..aa848ea 100644
--- a/make.texinfo
+++ b/make.texinfo
@@ -8,9 +8,9 @@
@c FSF publishers: format makebook.texi instead of using this file directly.
@set EDITION 0.45
-@set VERSION 3.70 Beta
-@set UPDATED 14 December 1993
-@set UPDATE-MONTH December 1993
+@set VERSION 3.71 Beta
+@set UPDATED 17 January 1994
+@set UPDATE-MONTH January 1994
@c finalout
@@ -6528,10 +6528,11 @@ or can be made) with @samp{$(CTANGLE)}.@refill
@pindex .info
@pindex .texi
@pindex .txinfo
-@file{@var{n}.dvi} is made from @file{@var{n}.texinfo}, @file{@var{n}.texi},
-or @file{@var{n}.txinfo}, with the @samp{$(TEXI2DVI)} command.
-@file{@var{n}.info} is made from @file{@var{n}.texinfo}, @file{@var{n}.texi},
-or @file{@var{n}.txinfo}, with the @samp{$(MAKEINFO)} command.@refill
+@file{@var{n}.dvi} is made from @file{@var{n}.texinfo},
+@file{@var{n}.texi}, or @file{@var{n}.txinfo}, with the command
+@w{@samp{$(TEXI2DVI) $(TEXI2DVI_FLAGS)}}. @file{@var{n}.info} is made from
+@file{@var{n}.texinfo}, @file{@var{n}.texi}, or @file{@var{n}.txinfo}, with
+the command @w{@samp{$(MAKEINFO) $(MAKEINFO_FLAGS)}}.
@item RCS
@cindex RCS, rule to extract from