diff --git a/debian/changelog b/debian/changelog index c98a738..24112ff 100644 --- a/debian/changelog +++ b/debian/changelog @@ -3,6 +3,8 @@ * dman: Offload suite and locale resolution to debiman. This optimizes the case where there is a typo or no actual manpage, as we only do one hit on the webserver. + * dman: use the dyn.manpages.debian.org alias to speed up requests even + more -- Antoine Beaupré Wed, 07 Jun 2017 16:14:49 -0400 diff --git a/dman b/dman index c41edde..72ac352 100755 --- a/dman +++ b/dman @@ -61,7 +61,7 @@ LOCDOT=".en" fi -BASE_URL="https://manpages.debian.org" +BASE_URL="https://dyn.manpages.debian.org" mandir=`mktemp --tmpdir="${TMPDIR:-/tmp}" -d dman.XXXXXX` trap "rm -rf $mandir" EXIT HUP INT QUIT TERM