diff options
| author | Eitan Adler <eadler@FreeBSD.org> | 2018-05-23 03:41:22 +0000 |
|---|---|---|
| committer | Eitan Adler <eadler@FreeBSD.org> | 2018-05-23 03:41:22 +0000 |
| commit | 0db9a543bcb52bf60d934fceba1c2d55a92a457d (patch) | |
| tree | a7949f136be96eb93fad38edcb237d9371e6e974 | |
| parent | 6cf21d56cab6833d85e3dd474937bd98693323bb (diff) | |
| download | src-0db9a543bcb52bf60d934fceba1c2d55a92a457d.tar.gz src-0db9a543bcb52bf60d934fceba1c2d55a92a457d.zip | |
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.
Notes
Notes:
svn path=/head/; revision=334072
| -rw-r--r-- | share/man/man5/src.conf.5 | 3 | ||||
| -rwxr-xr-x | tools/build/options/makeman | 2 |
2 files changed, 4 insertions, 1 deletions
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 <<EOF .\" DO NOT EDIT-- this file is generated by tools/build/options/makeman. .\" ${fbsdid} +.\" ${generated} .Dd $(echo $(LC_TIME=C date +'%B %e, %Y')) .Dt SRC.CONF 5 .Os |