From 571de1528d73cf80814149a36576e0c46d24c46d Mon Sep 17 00:00:00 2001 From: nhmall Date: Tue, 28 Nov 2023 22:49:31 -0500 Subject: [PATCH] some doc updates add a 'distrib' target to the top level Makefile so that the distribution doc/*.txt files can be created via 'make distrib' from the top directory. It utilizes the existing 'distrib' target in the doc/Makefile. Have hints/linux.370 specify the correct directory for Linux man pages of /usr/share/man/man6, so that 'sudo make manpages' works on that platform, --- sys/unix/Makefile.doc | 2 +- sys/unix/Makefile.top | 3 +++ sys/unix/hints/linux.370 | 4 +++- 3 files changed, 7 insertions(+), 2 deletions(-) diff --git a/sys/unix/Makefile.doc b/sys/unix/Makefile.doc index 5beb3f9a0..bfe6a7981 100644 --- a/sys/unix/Makefile.doc +++ b/sys/unix/Makefile.doc @@ -81,7 +81,7 @@ $(MAKEDEFS) : ../util/makedefs.c ../include/config.h ../src/mdlib.c \ ( cd ../util ; make makedefs ) GAME = nethack -MANDIR = /usr/man/man6 +MANDIR ?= /usr/man/man6 MANEXT = 6 # manual installation for most BSD-style systems diff --git a/sys/unix/Makefile.top b/sys/unix/Makefile.top index 3b9dd0956..48d4803e1 100644 --- a/sys/unix/Makefile.top +++ b/sys/unix/Makefile.top @@ -173,6 +173,9 @@ Guidebook.pdf: manpages: ( cd doc ; $(MAKE) manpages ) +distrib: + ( cd doc ; $(MAKE) distrib ) + data: $(GAME) ( cd dat ; $(MAKE) data ) diff --git a/sys/unix/hints/linux.370 b/sys/unix/hints/linux.370 index 02ba95a77..c9c04f5b0 100755 --- a/sys/unix/hints/linux.370 +++ b/sys/unix/hints/linux.370 @@ -350,7 +350,9 @@ CHGRP=true VARDIRPERM = 0755 VARFILEPERM = 0600 GAMEPERM = 0755 - +# +# manpages directory +MANDIR=/usr/share/man/man6 # #-INCLUDE cross-pre.370 #