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

[Jürgen Groß]

On 13.11.25 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.

We could as well use docdir for PDFs, right?

In case we really want pdfdir later we can easily re-add it.


Juergen

OpenPGP_0xB0DE9DD628BF132F.asc
Description: OpenPGP public key

OpenPGP_signature.asc
Description: OpenPGP digital signature