[tex-live] texdoc error

[Philip TAYLOR (Ret'd)]

Just to clarify : I am not using AR 9; I am using AR 8.1.2
and the really weird file that AR 8.1.2 opened at
the same time as Minitoc.pdf had never been opened
previously on this system ...

** Phil.
--------
Manuel Pégourié-Gonnard wrote:

> I'm not so sure about it. Since obviously Phil tried this in the middle
> of a texdoc+AR9 debugging session, you can reasonably assume that AR
> remembered that a few minutes ago it was asked to open file A, but
> couldn't since it crashed, and then when it opens file B, it also opens
> file A because it previously stopped just in the middle of opening it.