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. Has it been removed, or superceded by something else? Any
recommendations?
I just have an "@clean myfile.tex" node (with @all), so I think I only need
to run `xelatex myfile.tex`, `bibtex myfile`, then `xelatex myfile.tex`
again (this is what I do from command line).
Arjan
On Friday, October 28, 2011 at 1:41:04 PM UTC+2, Edward K. Ream wrote:
>
> On Sun, Oct 16, 2011 at 3:28 PM, mdb <mdbo...@gmail.com <javascript:>>
> wrote:
> > Finally got a chance to try Ed's version of MakePDF
>
> Thanks for these comments.
>
> > out-dir was not pre-created.
>
> I would suggest honoring the following setting::
>
> @bool create_nonexistent_directories = False
>
> You can do so by calling::
>
> g.makeAllNonExistentDirectories
>
> The arguments are (theDir,c=None,force=False,verbose=True)
>
> g.makeAllNonExistentDirectories will return None if the
> create_nonexistent_directories settings is False, or if there was any
> other problem creating the directories.
>
> > MakePDF was not in the main branch version of scripts.leo
> > (revision 4597).
>
> @@button MakePDF is in scripts.leo, the node::
>
> @thin leoScripts.txt-->Important-->@@button MakePDF
>
> > it seems p.isAnyAtFileNode() does not recognize nodes starting with
> @rst. I guess that makes sense, so I will work on creating a step that
> translate a @rst node with ReStruct markup to a @file x.tex node
>
> Possible, or just test p.h.startswith('@rst') in addition to the test
> p.isAnyAtFileNode()
>
> Feel free to commit any of your changes to the trunk in scripts.leo.
>
> 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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
