releases/doc/source/_themes/releases/script_footer.html
Doug Hellmann d6c96d1eb7 try to get local search working
Change-Id: I38f773db4120558faadb9b2bf08770045335b081
Signed-off-by: Doug Hellmann <doug@doughellmann.com>
2016-02-08 19:10:35 -05:00

15 lines
561 B
HTML

<!-- jQuery -->
<script type="text/javascript" src="{{pathto('_static/js/jquery-1.11.3.js', 1)}}"></script>
<!-- Bootstrap JavaScript -->
<script type="text/javascript" src="{{pathto('_static/js/bootstrap.min.js', 1)}}"></script>
<!-- The rest of the JS -->
<script type="text/javascript" src="{{pathto('_static/js/navigation.js', 1)}}"></script>
<!-- Docs JS -->
<script type="text/javascript" src="{{pathto('_static/js/docs.js', 1)}}"></script>
<!-- Popovers -->
<script type="text/javascript" src="{{pathto('_static/js/webui-popover.js', 1)}}"></script>