Discussion:
issue with texdoc footnote.dtx
(too old to reply)
jfbu
2018-01-23 13:08:51 UTC
Permalink
Hi,

latex package "disser" provides a file "footnote.dtx" which
shadows "footnote.dtx" from package "footnote"

$ kpsewhich footnote.dtx
/path/texlive/2017/texmf-dist/source/latex/disser/footnote.dtx

this is slightly perturbing...

but I guess as

$ ls /import/extra/burnol/texlive/2017/texmf-dist/source/latex/mdwtools
at.dtx doafter.dtx mdwlist.dtx mdwtab.dtx sverb.dtx
cmtt.dtx footnote.dtx mdwmath.dtx mdwtools.ins syntax.dtx

it is not clearcut to which footnote.dtx best belong

It is not like if there was footnote/footnote.dtx

much to my awe, I see that

$ kpsewhich mdwtools/footnote.dtx

does output

/import/extra/burnol/texlive/2017/texmf-dist/source/latex/mdwtools/footnote.dtx

(which is the file I was looking for)

Best,

Jean-François
Karl Berry
2018-01-23 22:50:40 UTC
Permalink
latex package "disser" provides a file "footnote.dtx" which
shadows "footnote.dtx" from package "footnote"

I do not try to keep names in the source/ (or doc/) trees unique;
that is, I don't complain to authors about duplicate names there.
Dealing with the tex/ and fonts/ trees is plenty painful enough.

If you want to ask the mdwtools and/or disser authors to uniqify their
dtx names, go right ahead. Would be all to the good ... --best, karl.
Loading...