Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Commits
d2c4e596
Commit
d2c4e596
authored
Oct 05, 2017
by
Alexandre Duret-Lutz
Browse files
org: fix the dot2tex example
* doc/org/oaut.org: Fix the call to convert.
parent
89c312cb
Changes
1
Hide whitespace changes
Inline
Side-by-side
doc/org/oaut.org
View file @
d2c4e596
...
...
@@ -899,7 +899,7 @@ following figure:
#+BEGIN_SRC sh :results silent :exports results
ltl2tgba 'p0 U p1' --dot=x | dot2tex --autosize --nominsize > dot2tex.tex
latexmk --pdf dot2tex.tex
convert -density 300 -scale
=
'50%' -trim dot2tex.pdf dot2tex.png
convert -density 300 -scale
'50%' -trim dot2tex.pdf dot2tex.png
latexmk -C dot2tex.tex
rm -f dot2tex.tex
#+END_SRC
...
...
@@ -914,7 +914,7 @@ ltl2tgba -G -D '!a & FGa' --dot=sbarx | dot2tex --autosize --nominsize > out.tex
#+BEGIN_SRC sh :results silent :exports results
ltl2tgba -G -D '!a & FGa' --dot=sbarx | dot2tex --autosize --nominsize > dot2tex2.tex
latexmk --pdf dot2tex2.tex
convert -density 300 -scale
=
'50%' -trim dot2tex2.pdf dot2tex2.png
convert -density 300 -scale
'50%' -trim dot2tex2.pdf dot2tex2.png
latexmk -C dot2tex2.tex
rm -f dot2tex2.tex
#+END_SRC
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment