veego 94c4987ecd It is ./usr/share/man/man8/walnut/{MAKEDEV,makedev}.8 and NOT ... ./usr/share/man/man8/walnut/{MAKEDEV,makedev}.0		2001-06-15 16:57:08 +00:00
..
mi	It is ./usr/share/man/man8/walnut/{MAKEDEV,makedev}.8 and NOT	2001-06-15 16:57:08 +00:00
obsolete.mi	dtide(4) is now MI.	2001-06-09 13:59:06 +00:00