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-2023. All rights reserved. For comments, questions, and corrections, please email Ben Bullock (benkasminbullock@gmail.com) or use the discussion group at Google Groups. / Disclaimer