On Tue, May 06, 2003, Murray Stokely wrote: > On Tue, May 06, 2003 at 05:09:36PM -0400, Mike Barcroft wrote: > > Just for reference, isinf.3 was merged into fpclassify.3. > > Ahh thanks. Should MLINKS be created for the old man page names? They should already be there.