diff --git a/documentation/doxygen/htmlheader.html b/documentation/doxygen/htmlheader.html
index 7c995cb74e4f6..c33cf13f9867e 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>