From fca7df1b28c8c1e63f1e10c75ae30700409a6c04 Mon Sep 17 00:00:00 2001 From: Brooks Davis Date: Wed, 8 Mar 2023 21:01:17 +0000 Subject: [PATCH] makeman: don't insert a $FreeBSD$ There's no need to insert this line which won't be expanded in git. Not generating it won't impact MFCs to 12 since the removal won't be MFCd. Reviewed by: emaste Sponsored by: DARPA Differential Revision: https://reviews.freebsd.org/D38989 --- tools/build/options/makeman | 2 -- 1 file changed, 2 deletions(-) diff --git a/tools/build/options/makeman b/tools/build/options/makeman index 73b696463b5..69dd3a46c20 100755 --- a/tools/build/options/makeman +++ b/tools/build/options/makeman @@ -140,11 +140,9 @@ main() { echo "building src.conf.5 man page from files in ${PWD}" >&2 - fbsdid='$'FreeBSD'$' generated='@'generated cat <