Patched the previous patch. Everything should be OK now both in the case
authorJohn Darrington <john@darrington.wattle.id.au>
Wed, 26 Jan 2005 03:48:01 +0000 (03:48 +0000)
committerJohn Darrington <john@darrington.wattle.id.au>
Wed, 26 Jan 2005 03:48:01 +0000 (03:48 +0000)
commita6ae02832bc0e093c2d21fe2534d9f90677803dd
tree5000f752c4525b171b9a8e1b9ecd20462934eca4
parent067d02c2b8c591efc368cf5127c497313d7a373f
Patched the previous patch.  Everything should be OK now both in the case
where PAGER is set and where it is not.
doc/configuring.texi
doc/utilities.texi
src/ChangeLog
src/set.q