alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* doc/org/oaut.org: Fix two broken displays of results.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2021-01-07 09:49:47 +01:00
parent 0df98b33b0
commit 4522891f13
1 changed files with 7 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

14
doc/org/oaut.org
View file

@ -402,6 +402,7 @@ format.
#+BEGIN_SRC sh :prologue export SPOT_DOTEXTRA= SPOT_DOTDEFAULT= #+BEGIN_SRC sh :prologue export SPOT_DOTEXTRA= SPOT_DOTDEFAULT=
ltl2tgba '(Ga -> Gb) W c' -d ltl2tgba '(Ga -> Gb) W c' -d
#+END_SRC #+END_SRC
#+RESULTS:
#+begin_example #+begin_example
digraph "(Gb | F!a) W c" { digraph "(Gb | F!a) W c" {
rankdir=LR rankdir=LR
@ -436,19 +437,18 @@ This output should be processed with =dot= to be converted into a
picture. For instance use =dot -Tpng= or =dot -Tpdf=. The pictures picture. For instance use =dot -Tpng= or =dot -Tpdf=. The pictures
on this page are produced with =dot -Tsvg=. on this page are produced with =dot -Tsvg=.
#+NAME: oaut-dot1 #+BEGIN_SRC sh :results file :file oaut-dot1.svg :prologue export SPOT_DOTEXTRA= SPOT_DOTDEFAULT=
#+BEGIN_SRC sh :exports code :prologue export SPOT_DOTEXTRA= SPOT_DOTDEFAULT=
ltl2tgba '(Ga -> Gb) W c' -d | dot -Tsvg ltl2tgba '(Ga -> Gb) W c' -d | dot -Tsvg
#+END_SRC #+END_SRC
#+BEGIN_SRC dot :file oaut-dot1.svg :var txt=oaut-dot1 :exports results
$txt
#+END_SRC
#+RESULTS: #+RESULTS:
[[file:oaut-dot1.svg]] [[file:oaut-dot1.svg]]
However in this documentation simply omit the calls to =dot -Tsvg=. In the documentation we display automata using SVG, but the actual
steps used to obtain those SVG files are usually not relevant to the
topics being discussed. So for simplicity we will usually omit the
calls to =dot -Tsvg=, and will often also omit the use of the =-d=
option.
** Customizing the dot output ** Customizing the dot output