liqiang
b119135836
Build latest book artifacts / build (push) Canceled after 0s
dependency resolution / resolve (3.11) (push) Canceled after 0s
dependency resolution / resolve (3.13) (push) Canceled after 0s
deploy-pages / build (push) Canceled after 0s
deploy-pages / deploy (push) Canceled after 0s
i18n consistency check / check (push) Canceled after 0s
provider adoption tests / test (chapter2/context-compression) (push) Canceled after 0s
provider adoption tests / test (chapter2/prompt-injection) (push) Canceled after 0s
provider adoption tests / test (chapter2/system-hint) (push) Canceled after 0s
provider adoption tests / test (chapter3/log-sanitization) (push) Canceled after 0s
web-search-agent tests / test (push) Canceled after 0s
web-search-agent tests / agentbook (push) Canceled after 0s
18 lines
678 B
HTML
18 lines
678 B
HTML
{% extends "base.html" %}
|
|
|
|
{#
|
|
Material's own main.html is just `{% extends "base.html" %}`; we add one
|
|
script tag to it.
|
|
|
|
search-index-router.js must run *before* bundle.js, which requests
|
|
search/search_index.json as it initialises. Files listed in
|
|
`extra_javascript` are emitted after bundle.js, so they cannot be used for
|
|
this. base.html renders `block config` (the `#__config` blob) immediately
|
|
before `block scripts` (bundle.js), which makes it the last hook point
|
|
early enough to patch the request. See extras/search-index-router.js.
|
|
#}
|
|
{% block config %}
|
|
{{ super() }}
|
|
<script src="{{ 'extras/search-index-router.js' | url }}"></script>
|
|
{% endblock %}
|