[Doc] Fix documentation deployment for previous versions navigation

djhi · djhi · commit 2934e7785f8a · 2025-05-05T11:35:50.000+02:00
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
@@ -112,7 +112,7 @@
                     /></a>
                 </li>
                 <li class="version">{% include versions.html %}</li>
-                {% include navigation.html %}
+                {% include_relative navigation.html %}
             </ul>
         </header>
 
diff --git a/docs/documentation.html b/docs/documentation.html
@@ -105,7 +105,7 @@
                     /></a>
                 </li>
                 <li class="version">{% include versions.html %}</li>
-                {% include navigation.html %}
+                {% include_relative navigation.html %}
             </ul>
         </header>
 
diff --git a/docs/navigation.html b/docs/navigation.html
