Created attachment 206059 [details]
remove redundant paragraphs for PROFILE
The manual page for src.conf contains four consecutive paragraphs for WITH_PROFILE/WITHOUT_PROFILE. This patch removes all of them except the first one.
src.conf.5 is generated by tools/build/options/makeman, so the fix will need to be done there
I also see only one instance of WITHOUT_PROFILE on HEAD:
% grep -c WITHOUT_PROFILE share/man/man5/src.conf.5
On which version did you observe this?
(In reply to Ed Maste from comment #1)
This issue is present in 11.2, I did not check 12 or HEAD.
If this is already fixed, this PR can be closed.
I can confirm that the issue is no longer present in src.conf, closing this PR.