[texdoc] texdoc bidi

[David Carlisle]

On Fri, 3 Jan 2020 at 16:06, Manfred Lotz <manfred at dante.de> wrote:

> Perhaps it would be good to rename the bidi pdf docs like follows:
>
> bidi.pdf -> bidi-source.pdf
> bidi-doc.pdf -> bidi.pdf
>
> Then you would not need to adjust scoring specifically for bidi.

I could do that, but I suspect that it is relatively common to start
with a single foo.dtx (so foo.pdf)  and then later decide to write a
second user-level manual  leaving the pdf generated from the foo.dtx
source as just the annotated code listing,

But specific guidelines on what names for the user manual  to use
would be good to know.

David