John Kitchin <jkitc...@andrew.cmu.edu> writes: > It is #+label that is deprecated in favor of #+name. >
Ah, thanks! > On Monday, September 26, 2016, Nick Dokos <ndo...@gmail.com> wrote: > > ... > I was under the impression that #+CAPTION is deprecated and #+NAME is > to be used in its place going forward. If that's the case, then the > listings problem needs fixing. If not, can somebody summarize the > actual situation? > -- Nick
