On Dec 6, 2019, at 13:54, Thomas Morley <thomasmorle...@gmail.com> 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