From 601054cb0ccb14c2e2ffe4f46f072d7a195593de Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Tue, 2 Sep 1997 05:52:03 +0000 Subject: [PATCH] TEXINFO_TEX fixlet --- ChangeLog | 5 +++++ automake.in | 3 +++ 2 files changed, 8 insertions(+) diff --git a/ChangeLog b/ChangeLog index a0f90e774..ec911b4a9 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +Mon Sep 1 23:50:38 1997 Tom Tromey + + * automake.in (handle_texinfo): Set need_texi_file only when + TEXINFO_TEX not defined. + Thu Aug 28 09:37:29 1997 Tom Tromey From Juergen Erhard: diff --git a/automake.in b/automake.in index e736d543d..5d88238e3 100755 --- a/automake.in +++ b/automake.in @@ -2047,6 +2047,9 @@ sub handle_texinfo elsif (! &variable_defined ('TEXINFO_TEX')) { &define_variable ('TEXINFO_TEX', '$(srcdir)/texinfo.tex'); + } + else + { $need_texi_file = 1; } local ($xxform) = &dirname (&variable_value ('TEXINFO_TEX')); -- 2.47.2