diff --git a/dman b/dman index 72ac352..370f06c 100755 --- a/dman +++ b/dman @@ -62,11 +62,12 @@ fi BASE_URL="https://dyn.manpages.debian.org" +URL="$BASE_URL/$DISTRIB_CODENAME/$PAGE$LOCDOT.gz" mandir=`mktemp --tmpdir="${TMPDIR:-/tmp}" -d dman.XXXXXX` trap "rm -rf $mandir" EXIT HUP INT QUIT TERM man="$mandir/$PAGE" -if wget -O "$man" "$BASE_URL/$DISTRIB_CODENAME/$PAGE$LOCDOT.gz" 2>/dev/null; then +if wget -O "$man" "$URL" 2>/dev/null; then man $MAN_ARGS -l "$man" || true exit 0 else