1999-03-17 Gordon Matzigkeit * servers.boot: Clarify the default-pager description, and add a default `$(default-pager)' line. * Makefile: New file.