diff options
Diffstat (limited to 'chapter06/docs/build-graphs.sh')
| -rw-r--r-- | chapter06/docs/build-graphs.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/chapter06/docs/build-graphs.sh b/chapter06/docs/build-graphs.sh index 5238dbfc..44d2de3a 100644 --- a/chapter06/docs/build-graphs.sh +++ b/chapter06/docs/build-graphs.sh @@ -9,3 +9,5 @@ dot -Tsvg 06-graph3-false.gv > 06-graph3-false.svg dot -Tsvg 06-graph4-nonconst.gv > 06-graph4-nonconst.svg dot -Tsvg 06-graph4-true.gv > 06-graph4-true.svg dot -Tsvg 06-graph4-arg2.gv > 06-graph4-arg2.svg +dot -Tsvg lattice.gv > lattice.svg + |