From 1941bac22c19f6457fcb5767b56543386a3f3a9b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 6 Sep 2017 11:18:34 +0200 Subject: [PATCH] org: improve dot2tex conversion to png * doc/org/oaut.org: Here. --- doc/org/oaut.org | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/org/oaut.org b/doc/org/oaut.org index 472008733..70e2c3bd5 100644 --- a/doc/org/oaut.org +++ b/doc/org/oaut.org @@ -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 150 -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 150 -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