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. Jan > -psdir := @psdir@ > includedir := @includedir@ > localstatedir := @localstatedir@ > sysconfdir := @sysconfdir@ > @@ -34,8 +31,6 @@ LIBEXEC_LIB := @LIBEXEC_LIB@ > LIBEXEC_INC := @LIBEXEC_INC@ > > SHAREDIR := @SHAREDIR@ > -MAN1DIR := $(mandir)/man1 > -MAN8DIR := $(mandir)/man8 > > XEN_RUN_DIR := @XEN_RUN_DIR@ > XEN_LOG_DIR := @XEN_LOG_DIR@
