From ecca6295b3b19f0154bc0e2845b6160bad3986e7 Mon Sep 17 00:00:00 2001
From: silverweed <giacomo.parolini@cern.ch>
Date: Tue, 8 Sep 2026 11:52:33 +0200
Subject: [PATCH] [doc] Update htmlheader to include versions.js

See https://github.com/root-project/web/pull/1241

(cherry picked from commit aea2feac6f65e62bad14555dc921b6bc6bb73c17)
---
 documentation/doxygen/htmlheader.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/documentation/doxygen/htmlheader.html b/documentation/doxygen/htmlheader.html
index 3d7c3a15f41c0..552787f907e57 100644
--- a/documentation/doxygen/htmlheader.html
+++ b/documentation/doxygen/htmlheader.html
@@ -56,6 +56,7 @@
    <div class="dropdown-content">
    </div>
 </div>
+<script type="text/javascript" src="../versions.js"></script>
 <script type="text/javascript" src="../selectversion.js"></script>
 <!-- END version select -->
   <br> $projectbrief </td>