Commit d13a05b3c4c7b175976286f6da5dcba5734f26aa - debian-goodies

do not loop over section, the redirector is smart enough this improves performance by O(n) where n is the section number Antoine Beaupré 7 years ago

1 changed file(s) with 5 addition(s) and 7 deletion(s). Raw diff Collapse all Expand all

-7

dman less more

65	65
66	66	mandir=`mktemp -d dman.XXXXXX`
67	67	trap "rm -rf $mandir" EXIT HUP INT QUIT TERM
68		for i in `seq 1 9`; do
69		man="$mandir/$i"
70		if wget -O "$man" "$URL/$DISTRIB_CODENAME/manpages$LOCPATH/$PAGE.$i$LOCDOT.gz" 2>/dev/null; then
71		echo man $MAN_ARGS -l "$man" \|\| true
72		fi
73		rm -f "$man"
74		done
	68	man="$mandir/$PAGE"
	69	if wget -O "$man" "$URL/$DISTRIB_CODENAME/manpages$LOCPATH/$PAGE$LOCDOT.gz" 2>/dev/null; then
	70	echo man $MAN_ARGS -l "$man" \|\| true
	71	exit 0
	72	fi