diff options
| author | johannst <johannst@users.noreply.github.com> | 2022-07-07 20:23:13 +0000 |
|---|---|---|
| committer | johannst <johannst@users.noreply.github.com> | 2022-07-07 20:23:13 +0000 |
| commit | 88bc7f1209668aa64b2f110121f6f4a2506b9d0c (patch) | |
| tree | 3d66d70431a882799d5abc956448ed9fd4169b23 /tools/dot.html | |
| parent | da7708c904cc1bfa7bafc8a4bd5742cae0cecb03 (diff) | |
| download | notes-88bc7f1209668aa64b2f110121f6f4a2506b9d0c.tar.gz notes-88bc7f1209668aa64b2f110121f6f4a2506b9d0c.zip | |
deploy: 8018375d79d74f2911c335337722a719cf87c72e
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> |