Oh found it, it looks like Github search doesn't look in .txt files. I searched GitHub and looked manually in the scripts.leo file, but the string "makePDF" is only found in leoScripts.txt.
On Friday, January 20, 2017 at 6:53:28 PM UTC+1, Edward K. Ream wrote: > > On Fri, Jan 20, 2017 at 11:10 AM, Arjan <[email protected] <javascript:>> > wrote: > >> I'm looking to compile raw latex to pdf from Leo. I wanted to take a look >> at the mentioned MakePDF script, but I can't find it in the current version >> of Leo. >> > > It's in scripts.leo. Just search for makePDF. > > I don't have the slightest memory of this script. It might have written > it... > > Edward > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
