Contents of directory pub/minix/misc: 00Index This file was automatically generated from file descriptions.