From c3b08cc667cd060d06f7ea9b60e1b5f547a2b6cd Mon Sep 17 00:00:00 2001 From: Yaroslav Tykhiy Date: Mon, 31 Jul 2006 12:41:13 +0000 Subject: [PATCH] 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. --- tools/build/options/makeman | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/build/options/makeman b/tools/build/options/makeman index 36f755535162..f75a4ab8807b 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