From 890bf1cd365360d040fa038c162a1d7c40588c35 Mon Sep 17 00:00:00 2001
From: Chris Hettrick <git@structfoo.com>
Date: Mon, 19 Feb 2024 12:44:10 -0700
Subject: [PATCH] build: Generate manual pages with DiscoBSD as OS name.

Set the operating system name in manual pages generated for DiscoBSD
by overriding the default host OS name with the mandoc -Ios option.

The ${MANROFF} variable in the system Makefile is now set to
  mandoc -Tascii -Ios="DiscoBSD ${OSREV}"
and sets the mdoc .Os macro or man .TH macro if not already set in
the source file by another operating system macro, e.g., ".UC 6".
---
 share/mk/sys.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/share/mk/sys.mk b/share/mk/sys.mk
index 03e3d14a..5a598d6b 100644
--- a/share/mk/sys.mk
+++ b/share/mk/sys.mk
@@ -100,7 +100,7 @@ INSTALL=	${TOOLBINDIR}/binstall -U
 TAGSFILE=	tags
 
 #MANROFF=	nroff -man -h -Tascii
-MANROFF=	mandoc -Tascii
+MANROFF=	mandoc -Tascii -Ios="DiscoBSD ${OSREV}"
 
 ELF2AOUT=	${TOOLBINDIR}/elf2aout