texdoc bidi

David Carlisle d.p.carlisle at gmail.com
Thu Jan 2 20:27:32 CET 2020


could the default texdoc configuration for bidi prefer bidi-doc.pdf to
bidi.pdf, the latter is the source listing, bidi-doc is the user
manual.


texdoc -l bidi
 1 /usr/local/texlive/2019/texmf-dist/doc/xelatex/bidi/bidi.pdf
   = Package source documentation
 2 /usr/local/texlive/2019/texmf-dist/doc/xelatex/bidi/bidi-doc.pdf
   = Package user documentation

Thanks,

David


More information about the tex-live mailing list