Re: make test-baseline fails

[Thomas Morley]

Am Fr., 6. Dez. 2019 um 19:58 Uhr schrieb Dan Eble <address@hidden>:
>
> On Dec 6, 2019, at 13:54, Thomas Morley <address@hidden> wrote:
> >
> >> This is tidy complaining about index.html.  What version of tidy do you 
> >> have (tidy --version)?  My build environment has 5.6.0 and it isn't 
> >> complaining.
> >
> > $ tidy --version
> > HTML Tidy for Linux version 5.2.0
>
> I'll try to get it and fix the issue.  I'm not sure if you can work around it 
> by some argument to configure.sh, but you should be able to work around it by 
> changing TIDY to "false" in config.make in the top-level build directory.
> —
> Dan
>

configure has the option
--disable-FEATURE       do not include FEATURE (same as --enable-FEATURE=no)

No clue whether --disable-tidy will work

Anyway, I'll first wait for `make doc´ to finish (which will last a
long time) before I give it a try.


Thanks,
  Harm