Export SVGs in a single HTML as well

kovzol · Jan 6, 2025 · 308cb87 · 308cb87
1 parent 1a35ff1
commit 308cb87
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/statements/tests/runme-graphviz b/statements/tests/runme-graphviz
@@ -4,7 +4,10 @@
 # It creates an HTML file with embedded SVG images.
 
 HTML=graphviz.html
+HTML_SVG=graphviz-svg.html
+
 echo "<html><body><center>" > $HTML
+echo "<html><body><center>" > $HTML_SVG
 
 FILES=`ls -1 *.brst`
 F_NO=`ls -1 *.brst | wc -l`
@@ -16,8 +19,11 @@ for i in $FILES; do
  test -s $i.dot && {
   dot -Tsvg $i.dot > $i.svg
   echo "<img src=$i.svg><br>" >> $HTML
+  tail -n +7 $i.svg >> $HTML_SVG # remove head
+  echo "<br>" >> $HTML_SVG
  }
  done
 echo -e "\rDone.\033[0K"
 
 echo "</center></body></html>" >> $HTML
+echo "</center></body></html>" >> $HTML_SVG