Zulip Chat Archive

Stream: new members

Topic: LaTeX and lstlean


view this post on Zulip Heather Macbeth (Sep 12 2020 at 16:55):

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?

view this post on Zulip Heather Macbeth (Sep 12 2020 at 16:56):

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)

view this post on Zulip Heather Macbeth (Sep 12 2020 at 16:57):

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

view this post on Zulip Johan Commelin (Sep 12 2020 at 16:57):

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

view this post on Zulip Heather Macbeth (Sep 12 2020 at 16:57):

Oh! I see :)

view this post on Zulip Sebastien Gouezel (Sep 12 2020 at 16:58):

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

view this post on Zulip Heather Macbeth (Sep 12 2020 at 16:59):

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).


Last updated: May 14 2021 at 23:14 UTC