LaTeX and lstlean

Stream: new members

[Heather Macbeth]

I'm trying to follow the directions for lstlean here, and specifically the direction
"include lstlean.tex in the same directory as your Latex source". Can someone help me figure out exactly where this should be?

[Heather Macbeth]

FWIW, the path for my listings package seems to be texlive/2020/texmf-dist/tex/latex/listings (I'm running texlive on osx if it matters)

[Heather Macbeth]

and any of the levels in that hierarchy seem like equally plausible places for the lstlean.tex to live :)

[Johan Commelin]

No, I think they mean that you should put it next to my_paper.tex

[Heather Macbeth]

Oh! I see :)

[Sebastien Gouezel]

(You should also be able to put it somewhere in the tex directory hierarchy, but you will need to refresh your tex cache)

[Heather Macbeth]

I will take the easy hack over the ideologically pure method (but don't worry, I don't follow this philosophy when contributing to mathlib).