Fix doxygen Header.

digitaldonkey · Dec 7, 2017 · 5d580a1 · 5d580a1
1 parent 8d0e11f
commit 5d580a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/resources/doxygen-assets/header.html b/resources/doxygen-assets/header.html
@@ -47,7 +47,7 @@
         <div class="version-selector">
             <label for="version-selector">Select version</label>
             <div class="version-selector--wrapper">
-                <!--#include file="navi.html" -->
+                <!--#include virtual="navi.html" -->
             </div>
         </div>
         <!--BEGIN DISABLE_INDEX-->