diff options
author | yar <yar@FreeBSD.org> | 2006-07-31 12:41:13 +0000 |
---|---|---|
committer | yar <yar@FreeBSD.org> | 2006-07-31 12:41:13 +0000 |
commit | 2d54f27d1f9933a95a1a23d4c8a4610da9a0e02d (patch) | |
tree | d52614eb0e1e4fab26511e2ad23e2b51e6f06365 | |
parent | e8d2a6dffbb8a2e50cddf28bfdc20e52ed8e8695 (diff) | |
download | FreeBSD-src-2d54f27d1f9933a95a1a23d4c8a4610da9a0e02d.zip FreeBSD-src-2d54f27d1f9933a95a1a23d4c8a4610da9a0e02d.tar.gz |
Actually skip over undocumented options with "continue"
to avoid artifacts in the manpage generated. Previously
an orphaned paragraph on dependencies of such an option
would appear.
-rw-r--r-- | tools/build/options/makeman | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/build/options/makeman b/tools/build/options/makeman index 36f7555..f75a4ab 100644 --- a/tools/build/options/makeman +++ b/tools/build/options/makeman @@ -142,6 +142,7 @@ EOF sed -e's/\$\(FreeBSD: .*\) \$/from \1/' ${opt} else echo "no description found for ${opt}, skipping" >/dev/stderr + continue fi show settings -D${opt} |sort >_config2 comm -13 _config _config2 |grep -v "^${opt}$" >_deps |