On Fri, 4 Feb 2022 09:59:06 +0100 Krzysztof Kozlowski <krzysztof.kozlowski@xxxxxxxxxxxxx> wrote: > I don't know actually, but I find natural that clean removes all > objects, even ones not created by "make all". The main reason I like to keep documentation clean and code clean separate, is because when I develop between different branches, checking out an older one then a newer one, the make dependencies can get screwed up. A make clean usually solves the issue when that happens. But I don't want to rebuild the documentation every time I do a make clean. > > I see your point, so I do not insist on this solution. I can fix the > incomplete cleaning on Debian package side. > Great. I'll take the second patch and drop this one then. Thanks for your contributions! -- Steve