On 13.11.2025 17:59, Jan Beulich wrote: > On 11.11.2025 17:19, Juergen Gross wrote: >> --- a/config/Paths.mk.in >> +++ b/config/Paths.mk.in >> @@ -20,10 +20,7 @@ libexecdir := @libexecdir@ >> datarootdir := @datarootdir@ >> mandir := @mandir@ >> docdir := @docdir@ >> -dvidir := @dvidir@ >> htmldir := @htmldir@ >> -pdfdir := @pdfdir@ > > Question is whether we're mistakenly not respecting in particular this one, > for the *.pdf we create. For all the others I agree there's no (present or > potential) use. I notice though that docs/Makefile cleans e.g. *.dvi > nevertheless.
Actually, I can't spot a use of htmldir either, when likely we should respect that one, too. Jan
