Re: Error with make doc

[Carl Sorensen]

On Wed, Jan 31, 2024 at 10:53 PM Werner LEMBERG <wl@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