[texdoc] texdoc bidi

Karl Berry karl at freefriends.org
Fri Jan 3 23:04:53 CET 2020


    containing "manual" and "doc" so that <package>-(manual|doc).pdf can win
    over <package>.pdf in general. 

Good! I think that would be highly desirable.

    I don't know in how many cases <package>.pdf is the most important
    document and <package>-(manual|doc).pdf are less important.

My guess is "never".  If the author has explicitly added a <known
suffix>, it seems to me it is 99% likely that it is the user manual.

In the past (before you were involved, Takuto), I recommended that
people use <pkg>-manual.pdf for the user manual, because that makes it
explicitly clear. <pkg>-doc.pdf is the same thing. --best, karl.


More information about the texdoc mailing list.