On Wed, Dec 17, 2014 at 9:34 PM, Ludovic Courtès <l...@gnu.org> wrote: > Perhaps the LaTeX functionality magically becomes available when > ‘pdflatex’ or similar is found in $PATH, in which case there’s nothing > to do: users who care would explicitly install TeX Live in their profile > and get that functionality.
You are absolutely right. I tested it this way and it works :-) Thanks, Fede
