ref: 0af537d2c0a56dc99f90d581341317a607531ff0
parent: 8d6647548f7d0051221374ad6eb2b6dd32e2a3ed
author: Simon Tatham <anakin@pobox.com>
date: Mon Mar 27 05:17:51 EDT 2023
Rename the 'aux' subdirectory to avoid Windows restrictions. James Harvey points out that Windows still forbids calling a file 'aux' in any context. Even a directory. Gaaah.