[tex-eplain] Many TOC's in one document, help.

[Karl Berry]

    I believe the trick with changing \tocfilebasename was
    intended only for _reading_ TOCs with different base names,
    not writing them.

Right.

      (Karl, should the manual state this explicitly?)

Since the question has come up, it would seem so.

Thanks,
Karl