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-2024. All rights reserved. For comments, questions, and corrections, please email Ben Bullock (benkasminbullock@gmail.com). / Disclaimer