From 04a70c3b077bb053996c010f895dee3d806c87cd Mon Sep 17 00:00:00 2001
From: David Robillard <d@drobilla.net>
Date: Thu, 25 Jul 2019 17:52:22 +0200
Subject: Make documentation build with Doxygen 1.8.13

---
 doc/header.html | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'doc/header.html')

diff --git a/doc/header.html b/doc/header.html
index 2e419e35..b907bc8b 100644
--- a/doc/header.html
+++ b/doc/header.html
@@ -35,3 +35,12 @@
       </div>
       <!--END TITLEAREA-->
       <!-- end header part -->
+
+      <!-- Fake static menu from Doxygen 1.8.15 -->
+      <div id="staticnavrow" class="tabs">
+        <ul class="tablist">
+          <li><a href="index.html"><span>Main&#160;Page</span></a></li>
+          <li><a href="modules.html"><span>Modules</span></a></li>
+          <li><a href="annotated.html"><span>Data&#160;Structures</span></a></li>
+        </ul>
+      </div>
-- 
cgit v1.2.1