documenting the default_pager interface

[Marcus Brinkmann]

Hi,

Roland, do you think the default_pager interface should be documented in the
Hurd manual?  The Mach kernel still has the old interface definition, but as
it is not used by the kernel at all, and you have introduced our own in the
Hurd, it seems to make sense to me not to document the default_pager
interface in our Mach at all (but have the documentation in the Hurd manual).

I think at some time I will go in the Mach sources with a large knife and
cut out all of the old stuff that is just there to confuse me ;)

Thanks,
Marcus

-- 
`Rhubarb is no Egyptian god.' Debian http://www.debian.org address@hidden
Marcus Brinkmann              GNU    http://www.gnu.org    address@hidden
address@hidden
http://www.marcus-brinkmann.de