> If we decide to assume 4.0 now, it doesn't really require us to take > any action, except stop testing with 3.12f. We could delay the > cleanup of the ugly hacks we put into the Texinfo sources until 5.2. Ok, I'll generate the release using 4.0 and won't tell you what I do with 3.12f. Andrew