What is /usr/share/man/man1aout?

What on earth is the directory /usr/share/man/man1aout?

The directory is empty, it has no files, and there is no record of its purpose anywhere.

Answers to the email address below, please.

Copyright © Ben Bullock 2009-2012. All rights reserved. For comments, questions, and corrections, please email Ben Bullock (ben.bullock@lemoda.net) / Disclaimer