[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Fix an error during "./configure; make dist"
From: |
Patrice Dumas |
Subject: |
Re: Fix an error during "./configure; make dist" |
Date: |
Thu, 25 Jul 2024 23:29:22 +0200 |
On Tue, Jul 23, 2024 at 10:19:52PM +0100, Gavin Smith wrote:
> > Find attached a patch that fixes this error.
>
Here is a similar patch that solves it for me (maybe not for an out of
source build), which I find simpler. I think that it is interesting
independentely of the make dist issue, it would make sense to want to
build info only by going directly to the directory.
--
Pat
makedoc_prereq.diff
Description: Text Data