From e86d9f1cbec5b720ba386fccc4542b03bff23264 Mon Sep 17 00:00:00 2001
From: Ole Streicher <olebole@debian.org>
Date: Thu, 29 Feb 2024 12:33:26 +0100
Subject: [PATCH] Fix manpage location

The manpages are usually installed in /usr/share/man, not in /usr/man.
---
 Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index ef667fa..fc353e3 100644
--- a/Makefile
+++ b/Makefile
@@ -30,12 +30,12 @@ clean:
 	$(MAKE) -C obm clean
 
 install: xgterm ximtool
-	mkdir -p ${DESTDIR}${prefix}/bin ${DESTDIR}${prefix}/man/man1
+	mkdir -p ${DESTDIR}${prefix}/bin ${DESTDIR}${prefix}/share/man/man1
 	install -m755 xgterm/xgterm ${DESTDIR}${prefix}/bin
-	install -m755 xgterm/xgterm.man ${DESTDIR}${prefix}/man/man1/xgterm.1
+	install -m755 xgterm/xgterm.man ${DESTDIR}${prefix}/share/man/man1/xgterm.1
 	tic xgterm/xgterm.terminfo
 	install -m755 ximtool/ximtool ${DESTDIR}${prefix}/bin
-	install -m755 ximtool/ximtool.man ${DESTDIR}${prefix}/man/man1/ximtool.1
+	install -m755 ximtool/ximtool.man ${DESTDIR}${prefix}/share/man/man1/ximtool.1
 	if [ -x ximtool/clients/ism_wcspix.e ] ; then \
 	    install -m755 ximtool/clients/ism_wcspix.e ${DESTDIR}${prefix}/bin ; \
 	fi