Commit eaf4a1a35b1d0348129047d46ec4dce83b44bc67 - debian-goodies

Fix call so that the actual URL used is reported Javier Fernandez-Sanguino 6 years ago

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

-1

dman less more

61	61	fi
62	62
63	63	BASE_URL="https://dyn.manpages.debian.org"
	64	URL="$BASE_URL/$DISTRIB_CODENAME/$PAGE$LOCDOT.gz"
64	65
65	66	mandir=`mktemp --tmpdir="${TMPDIR:-/tmp}" -d dman.XXXXXX`
66	67	trap "rm -rf $mandir" EXIT HUP INT QUIT TERM
67	68	man="$mandir/$PAGE"
68		if wget -O "$man" "$BASE_URL/$DISTRIB_CODENAME/$PAGE$LOCDOT.gz" 2>/dev/null; then
	69	if wget -O "$man" "$URL" 2>/dev/null; then
69	70	man $MAN_ARGS -l "$man" \|\| true
70	71	exit 0
71	72	else