GNU bug report logs - #29731
configure to distinguish makeinfo present-but-broken from missing-or-old

Previous Next

Full log

Message #32 received at 29731 <at> debbugs.gnu.org (full text, mbox):

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: mutiny.mutiny <at> rediffmail.com, 29731 <at> debbugs.gnu.org, rpluim <at> gmail.com
Subject: Re: bug#29731: configure to distinguish makeinfo present-but-broken
 from missing-or-old
Date: Fri, 13 Aug 2021 16:41:05 +0200

Eli Zaretskii <eliz <at> gnu.org> writes:

> It would be nice to have that, but basically it isn't our problem,
> IMO: building a tarball doesn't require makeinfo, while people who
> build from Git should IMO be expected to have a working Texinfo
> installation, which includes Perl modules necessary to run makeinfo.

Yes, you're right.  If ./configure says that we can't find a (useable)
makeinfo, then it's up to the user to investigate the problem.  In this
case, I'm guessing just typing "makeinfo" would have issued a bunch of
errors, which should point the user the right way -- and any changes we
make to configure here wouldn't really be that much more helpful.

So I'm closing this bug report.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.