From e083be01225a56d16abab9c0780173c0d4d24181 Mon Sep 17 00:00:00 2001
From: Alec Warner <antarus@gentoo.org>
Date: Wed, 13 Apr 2022 16:31:06 -0700
Subject: Add devmanual to dropdowns.

Signed-off-by: Alec Warner <antarus@gentoo.org>
---
 examples/tyrian.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/tyrian.html b/examples/tyrian.html
index a69995e..71c0a33 100644
--- a/examples/tyrian.html
+++ b/examples/tyrian.html
@@ -33,6 +33,7 @@
                     <a class="dropdown-item" href="https://wiki.gentoo.org/" title="Find and contribute documentation"><span class="fa fa-file-text-o fa-fw"></span> Wiki</a>
                     <a class="dropdown-item" href="https://bugs.gentoo.org/" title="Report issues and find common issues"><span class="fa fa-bug fa-fw"></span> Bugs</a>
                     <a class="dropdown-item" href="https://forums.gentoo.org/" title="Discuss with the community"><span class="fa fa-comments-o fa-fw"></span> Forums</a>
+                    <a class="dropdown-item" href="https://devmanual.gentoo.org/" title="Read the development Guide"><span class="fa fa-book-o fa-fw"></span> Devmanual</a>
                     <a class="dropdown-item" href="https://packages.gentoo.org/" title="Find software for your Gentoo"><span class="fa fa-hdd-o fa-fw"></span> Packages</a>
                     <div class="dropdown-divider"></div>
                     <a class="dropdown-item" href="https://planet.gentoo.org/" title="Find out what's going on in the developer community"><span class="fa fa-rss fa-fw"></span> Planet</a>
-- 
cgit v1.2.3-65-gdbad