texdoc bidi

David Carlisle d.p.carlisle at gmail.com
Fri Jan 3 17:18:23 CET 2020


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


More information about the tex-live mailing list