Specify precisely the doctest file