From 0eca1d413b87945941a8bbdcdcfcf3360d893b24 Mon Sep 17 00:00:00 2001
From: Volker Birk <vb@pep-project.org>
Date: Thu, 19 Aug 2021 13:25:51 +0200
Subject: [PATCH] correct gen_dot

---
 codegen/Makefile     | 2 +-
 codegen/gen_dot.ysl2 | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/codegen/Makefile b/codegen/Makefile
index 5c679018e..3afa49e88 100644
--- a/codegen/Makefile
+++ b/codegen/Makefile
@@ -44,5 +44,5 @@ svg: $(patsubst %.dot,%.svg,$(wildcard *.dot))
 	$(YML2_PROC) -y gen_dot.ysl2 $< -o $@
 
 %.svg: %.dot
-	dot -Tsvg -o $@ $<
+	dot -Tsvg $< -o $@ > /dev/null
 
diff --git a/codegen/gen_dot.ysl2 b/codegen/gen_dot.ysl2
index 03b785de9..c7f2a6daf 100644
--- a/codegen/gen_dot.ysl2
+++ b/codegen/gen_dot.ysl2
@@ -4,7 +4,7 @@
 include yslt.yml2
 
 tstylesheet {
-    template "protocol/fsm[count(state)>0]" document "{@name}.dot", "text"
+    template "/protocol/fsm[count(state)>0]"
     ||
     digraph finite_state_machine {
         rankdir=LR;