[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: $(info xxx) output interleaved with other $(info) output
From: |
Paul Eggert |
Subject: |
Re: $(info xxx) output interleaved with other $(info) output |
Date: |
Thu, 20 Jan 2022 10:30:27 -0800 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.3.1 |
On 1/19/22 23:11, Paul Smith wrote:
I rewrote this function and applied this change:
Oh, that's much nicer than what I sent! Thanks.
I suggested working around the problem in the GNU Emacs Makefiles by
installing the attached patch. It's a bit of a hack but I couldn't think
of anything better, other than outputting the information with the shell
rather than with $(info). I'm mentioning this here in case anyone else
needs a workaround for current and older GNU Make.
0001-Work-around-GNU-Make-info-bug.patch
Description: Text Data