On Tue, Feb 26, 2019 at 12:59 AM Martin Ågren <martin.agren@xxxxxxxxx> wrote: > On Mon, 25 Feb 2019 at 22:01, Eric Sunshine <sunshine@xxxxxxxxxxxxxx> wrote: > > I guess I was further confused by the fact that manpage-base-url.xsl > > is still present even after "make distclean", which is not something I > > would have expected for a generated file. (Perhaps something to > > consider "fixing" if you re-roll, or not if it's out of scope.) > > Are you sure? `make distclean` in the top directory depends on the > "clean" target, which calls out to `make -C Documentation/ clean`, which > removes the file. [...] > Were you perhaps mislead by one of the similarly-named files? Yes, I was misled by similar names. Sorry for the noise.