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.
More information about the tex-live