On Wed, Jan 31, 2024 at 10:53 PM Werner LEMBERG <w...@gnu.org> wrote:
> > > Thanks a lot, very helpful. Please apply the attached patch to the > top-level `GNUmakefile.in` file, then retry from scratch (including > the `configure` step); it should catch all of the three problems > you've encountered. > It seems to work, but not perfectly. 'make all' and 'make test' work. 'make doc' failed. It appears that under some conditions, we end up with a path including '//'. Log file attached. Thanks, Carl
make.doc.log.gz
Description: GNU Zip compressed data
