diff options
| author | siikamiika <siikamiika@users.noreply.github.com> | 2019-08-03 15:09:51 +0300 |
|---|---|---|
| committer | siikamiika <siikamiika@users.noreply.github.com> | 2019-08-03 15:09:51 +0300 |
| commit | 1a37342aa0168c931898f6eefa94690b1fc30d2d (patch) | |
| tree | 8b8c14086432ef1fc61bdcfa45cbba1d6222c53a | |
| parent | afc771de9fd34a7b16a6bbf8bcdc85dd758d7836 (diff) | |
add doc scripts to search too
| -rw-r--r-- | ext/bg/search.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ext/bg/search.html b/ext/bg/search.html index 0d6c7cad..ce156578 100644 --- a/ext/bg/search.html +++ b/ext/bg/search.html @@ -43,6 +43,8 @@ <script src="/bg/js/handlebars.js"></script> <script src="/bg/js/templates.js"></script> <script src="/bg/js/util.js"></script> + <script src="/fg/js/document.js"></script> + <script src="/fg/js/source.js"></script> <script src="/mixed/js/display.js"></script> <script src="/mixed/js/japanese.js"></script> |