Lukas Bulwahn <lukas.bulwahn@xxxxxxxxx> writes: > Ricardo suggests that: > > - you run 'make htmldocs' before applying the patch and check for the > existing warnings. > > - you run 'make cleandocs' and 'make htmldocs' after applying the > patch and check for the existing warnings. > > Did any warning disappear or appear due to your patch? Were you > motivated by a specific warning you observed during the build and you > addressing that? > > So, for starters: did you already try 'make htmldocs' with your patch > applied? What did you observe? This all seems like a bit much for what is essentially a typo fix. I would be amazed if it changed the build in any way other than making the case more consistent; there's no need to do all that stuff. I've applied it, thanks. jon
