git: 65fd76b5f566 - main - makeman: extend duplicate option warning to OPT_ options

[Ed Maste]

The branch main has been updated by emaste:

URL: 
https://cgit.FreeBSD.org/src/commit/?id=65fd76b5f566a21d4e017711e8d0678aab6fe59e

commit 65fd76b5f566a21d4e017711e8d0678aab6fe59e
Author:     Ed Maste <ema...@freebsd.org>
AuthorDate: 2024-05-13 19:05:39 +0000
Commit:     Ed Maste <ema...@freebsd.org>
CommitDate: 2024-05-16 17:30:37 +0000

    makeman: extend duplicate option warning to OPT_ options
    
    In a local tree I accidentally had OPT_INIT_ALL defaulting to zero in
    userland and none in kernel.  This resulted in the INIT_ALL text
    appearing twice in src.conf.5.
    
    Reviewed by:    brooks
    Sponsored by:   The FreeBSD Foundation
    Differential Revision: https://reviews.freebsd.org/D45184
---
 tools/build/options/makeman | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tools/build/options/makeman b/tools/build/options/makeman
index 30416b03b983..e0980d3be607 100755
--- a/tools/build/options/makeman
+++ b/tools/build/options/makeman
@@ -379,12 +379,18 @@ EOF
 The following options accept a single value from a list of valid values.
 .Bl -tag -width indent
 EOF
+       prev_opt=
        show_group_options |
        while read opt ; do
                if [ ! -f ${opt} ] ; then
                        echo "no description found for ${opt}, skipping" >&2
                        continue
                fi
+               if [ $opt = "$prev_opt" ]; then
+                       echo "ignoring duplicate option $opt" >&2
+                       continue
+               fi
+               prev_opt=$opt
 
                echo ".It Va ${opt}"
                cat ${opt}