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 1 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.