diff options
Diffstat (limited to 'docs/_includes')
| -rw-r--r-- | docs/_includes/footer.html | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/_includes/footer.html b/docs/_includes/footer.html index cebd0ee7b..f962d19cc 100644 --- a/docs/_includes/footer.html +++ b/docs/_includes/footer.html @@ -33,10 +33,16 @@ ================================================== --> <!-- Placed at the end of the document so the pages load faster --> <script src="https://ajax.googleapis.com/ajax/libs/jquery/1.11.1/jquery.min.js"></script> +{% if site.github %} <script src="../dist/js/bootstrap.min.js"></script> +{% else %} +<script src="../dist/js/bootstrap.js"></script> +{% endif %} {% if site.github %} <script src="../assets/js/docs.min.js"></script> {% else %} +<script src="../assets/js/vendor/holder.js"></script> +<script src="../assets/js/vendor/ZeroClipboard.min.js"></script> <script src="../assets/js/src/application.js"></script> {% endif %} {% if page.slug == "customize" %} |