>> Isn't the main unsolved problem for \include making sure that non-immediate
>> \write's go to the proper .aux file?
>
>Pah, write then all to the main aux file (with a note to say which bit
>they come from, if that is needed) (not that I've tried coding it that
>way:-)
I have not followed that gory float stuff, but this is what I am saying:
Are there any reasons for LaTeX having multiple AUX files?