Re: [PATCH 4/5] config: remove unused paths from config/Paths.mk.in

[Andrew Cooper <andrew.cooper3@xxxxxxxxxx>]

On 13/11/2025 5:02 pm, Jan Beulich wrote:
> 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.

Besides the manpages, nothing generated in docs/ is really fit to
package for end users.  There's no coherent structure, some of it is
straight braindumps from developers.

docdir is only used by the {un,}install-html targets (opencoding
htmldir), and the rm in the install target is further evidence to the
unsuitability of what's there.

I'd go so far as to suggest we should drop install-html, except that it
would break the generation of https://xenbits.xen.org/docs/unstable/

~Andrew