On Mon, 07 Jan 2019 15:05:37 +1100 NeilBrown <neilb@xxxxxxxx> wrote: > I probably did, but I didn't notice them. > I just ran "make htmldocs" and there are pages and pages of warnings. > When I look closely they do include these ones. At the time I was more > focused on getting the output to look right. The warning situation is really out of hand, and has been for a long time. For a while I was trying to whack them (and Randy has done some), but it needs a more focused effort. Someday... Meanwhile, I've applied this one, thanks. jon
