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