Merge pull request #37 from Shekharrajak/githubci

rename the Historical and PDF version tab name to Other doc versions

Author: Shekharrajak

custom_sphinx_theme/navbar.html

@@ -29,7 +29,7 @@
               </div>
             </li>
             <li class="nav-item">
-                <a class="nav-link text-dark font-weight-bold px-3" href="{{ theme_variables.external_urls['doc'] }}">Historical & PDF version</a>
+                <a class="nav-link text-dark font-weight-bold px-3" href="{{ theme_variables.external_urls['doc'] }}">Other doc versions</a>
             </li>
         </ul>
     </div>