diff options
Diffstat (limited to 'tools/dot.html')
| -rw-r--r-- | tools/dot.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/dot.html b/tools/dot.html index 05f652d..b3164d9 100644 --- a/tools/dot.html +++ b/tools/dot.html @@ -153,7 +153,8 @@ <div id="content" class="content"> <main> <h1><a class="header" href="#dot1" id="dot1">dot(1)</a></h1> -<p>Example <code>dot</code> file to copy & paste from.</p> +<p><a href="https://edotor.net/">Online playground</a></p> +<h2><a class="header" href="#example-dot-file-to-copy--paste-from" id="example-dot-file-to-copy--paste-from">Example <code>dot</code> file to copy & paste from.</a></h2> <p>Can be rendered to <code>svg</code> with the following command.</p> <pre><code class="language-bash">dot -T svg -o g.svg g.dot </code></pre> |