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

---
 print.html | 1 +
 1 file changed, 1 insertion(+)

(limited to 'print.html')

diff --git a/print.html b/print.html
index de4d48e..e951eaa 100644
--- a/print.html
+++ b/print.html
@@ -2071,6 +2071,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>
 <h1><a class="header" href="#resource-analysis--monitor" id="resource-analysis--monitor">Resource analysis &amp; monitor</a></h1>
 <ul>
-- 
cgit v1.2.3