Multi mainfile directories, again
There might be terribly many mainfiles in a single directory. Therefore we should evaluate, if
-
we should apply a general limit to the number of aux files -
do not have mainfiles being aux files of other mainfiles in the same directory