D45184.id138499.diff
No OneTemporary
Actions

Size

620 B

Referenced Files

None

Subscribers

None

D45184.id138499.diff
View Options

	Index: tools/build/options/makeman
	===================================================================
	--- tools/build/options/makeman
	+++ tools/build/options/makeman
	@@ -379,12 +379,18 @@
	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 "$target: ignoring duplicate option $opt" >&2
	+ continue
	+ fi
	+ prev_opt=$opt

	echo ".It Va ${opt}"
	cat ${opt}