From 0db9a543bcb52bf60d934fceba1c2d55a92a457d Mon Sep 17 00:00:00 2001 From: Eitan Adler Date: Wed, 23 May 2018 03:41:22 +0000 Subject: Add the text '@generated' to src.conf.5 This is a cross-tool approach to identifying generated code. Some tools, notably phabricator, handle this marker specially. See https://reviews.freebsd.org/differential/diff/42870/ for such an example. --- share/man/man5/src.conf.5 | 3 ++- tools/build/options/makeman | 2 ++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/share/man/man5/src.conf.5 b/share/man/man5/src.conf.5 index 0d7b3b6a478b..3206be5a3623 100644 --- a/share/man/man5/src.conf.5 +++ b/share/man/man5/src.conf.5 @@ -1,6 +1,7 @@ .\" DO NOT EDIT-- this file is generated by tools/build/options/makeman. .\" $FreeBSD$ -.Dd May 15, 2018 +.\" @generated +.Dd May 23, 2018 .Dt SRC.CONF 5 .Os .Sh NAME diff --git a/tools/build/options/makeman b/tools/build/options/makeman index c59c7179a856..8d0da8dbc686 100755 --- a/tools/build/options/makeman +++ b/tools/build/options/makeman @@ -141,9 +141,11 @@ main() echo "building src.conf.5 man page from files in ${PWD}" >&2 fbsdid='$'FreeBSD'$' + generated='@'generated cat <