diff options
author | Roland McGrath <roland@redhat.com> | 1994-01-17 22:06:11 +0000 |
---|---|---|
committer | Roland McGrath <roland@redhat.com> | 1994-01-17 22:06:11 +0000 |
commit | 68a5f2a17ac7e72f5fa2afb5568645f89a33a54c (patch) | |
tree | 78bf86bd6953362efac6bca083826881efd0f581 /make.texinfo | |
parent | 50bb35c3e3f3e80d47ff919394273355fd38e543 (diff) | |
download | gunmake-68a5f2a17ac7e72f5fa2afb5568645f89a33a54c.tar.gz |
Formerly make.texinfo.~125~
Diffstat (limited to 'make.texinfo')
-rw-r--r-- | make.texinfo | 15 |
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 |