Configure should use $PAGER in preference to `more'.

Tom May (ftom@netcom.com)
Sat, 25 May 1996 13:29:23 -0700

scripts/Configure should use the value of $PAGER if it is set instead
of hardcoding the use of `more' to display help text. This patch is
against pre2.0.7.

--- linux/scripts/Configure.0 Wed Mar 27 20:59:05 1996
+++ linux/scripts/Configure Sat May 25 13:11:36 1996
@@ -90,7 +90,7 @@
then
echo; echo " Sorry, no help available for this option yet.";echo
else
- (echo; echo "$text"; echo) | more
+ (echo; echo "$text"; echo) | ${PAGER:-more}
fi
else
echo;

Tom (who hasn't used more since less came out).