Synchronize PNG header with tbtc-diagrams.tex
Ultimately need a way to just pull in a common header, but for now this
is the move.
@@ -11,9 +11,10 @@ echo "\usepackage{hyperref}" >> $target_basename.tex
echo "\usepackage[utf8]{inputenc}" >> $target_basename.tex
echo "\usetikzlibrary{positioning}" >> $target_basename.tex
echo "\usetikzlibrary{arrows.meta}" >> $target_basename.tex
+echo "\usetikzlibrary{shapes.geometric}" >> $target_basename.tex
echo "\usetikzlibrary{shapes.symbols}" >> $target_basename.tex
echo "\usetikzlibrary{calc}" >> $target_basename.tex
-echo "\tikzset{every node/.style={above},start state/.style={draw,circle,text width=0},state/.style={draw,circle,align=flush center,text width=2cm},decision/.style={draw,rectangle,align=flush center}, thread/.style={draw,signal,signal to=east,fill=white},nested state/.style={draw,circle,double,align=flush center}, nested decision/.style={draw,rectangle,double,align=flush center}, chain state/.style={draw,circle,dashed,align=flush center,text width=2cm}, chain decision/.style={draw,rectangle,dashed,align=flush center}, chain transition/.style={draw,dashed},nested chain decision/.style={draw,rectangle,double,dashed,align=flush center},>=Stealth }" >> $target_basename.tex
+echo "\tikzset{every node/.style={above},start state/.style={draw,ellipse,text width=0},state/.style={draw,ellipse,align=flush center,text width=2.5cm},decision/.style={draw,rectangle,align=flush center}, thread/.style={draw,signal,signal to=east,fill=white},nested state/.style={draw,ellipse,double,align=flush center}, nested decision/.style={draw,rectangle,double,align=flush center}, chain state/.style={draw,ellipse,dashed,align=flush center,text width=2.5cm}, chain decision/.style={draw,rectangle,dashed,align=flush center}, chain transition/.style={draw,dashed},nested chain decision/.style={draw,rectangle,double,dashed,align=flush center},>=Stealth }" >> $target_basename.tex
echo "\begin{document}" >> $target_basename.tex
echo "" >> $target_basename.tex
cat $tikz_source >> $target_basename.tex
