From da7708c904cc1bfa7bafc8a4bd5742cae0cecb03 Mon Sep 17 00:00:00 2001
From: johannst <johannst@users.noreply.github.com>
Date: Sat, 25 Jun 2022 20:04:28 +0000
Subject: deploy: a74c8fa1d5ded7978f5642209c9dd0052230164a
---
tools/dot.html | 1 +
1 file changed, 1 insertion(+)
(limited to 'tools')
diff --git a/tools/dot.html b/tools/dot.html
index caf5020..05f652d 100644
--- a/tools/dot.html
+++ b/tools/dot.html
@@ -200,6 +200,7 @@ digraph {
<li><a href="https://graphviz.org/doc/info/attrs.html">Attributes</a></li>
<li><a href="https://graphviz.org/doc/info/shapes.html">Node shapes</a></li>
<li><a href="https://graphviz.org/doc/info/colors.html">Colors</a></li>
+<li><a href="https://graphviz.org/pdf/dotguide.pdf">User manual</a></li>
</ul>
</main>
--
cgit v1.2.3