From 66da3b35076cc497e7576776f4d2b69a473b5f95 Mon Sep 17 00:00:00 2001 From: Juergen Gross Date: Fri, 21 Nov 2025 14:23:31 +0100 Subject: [PATCH] config: remove unused paths from config/Paths.mk.in Some paths in config/Paths.mk.in are used nowhere, so remove them. Signed-off-by: Juergen Gross Reviewed-by: Andrew Cooper --- config/Paths.mk.in | 6 ------ 1 file changed, 6 deletions(-) diff --git a/config/Paths.mk.in b/config/Paths.mk.in index bc42748b7a..6aa392b9f2 100644 --- a/config/Paths.mk.in +++ b/config/Paths.mk.in @@ -20,10 +20,6 @@ libexecdir := @libexecdir@ datarootdir := @datarootdir@ mandir := @mandir@ docdir := @docdir@ -dvidir := @dvidir@ -htmldir := @htmldir@ -pdfdir := @pdfdir@ -psdir := @psdir@ includedir := @includedir@ localstatedir := @localstatedir@ sysconfdir := @sysconfdir@ @@ -34,8 +30,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@