diff options
Diffstat (limited to 'docs/search.json')
| -rw-r--r-- | docs/search.json | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/docs/search.json b/docs/search.json deleted file mode 100644 index 7cd8517bc..000000000 --- a/docs/search.json +++ /dev/null @@ -1,15 +0,0 @@ ---- -# Leave it empty to compile ---- - -[ -{% assign sorted_pages = site.html_pages | sort: 'title' %} -{% for page in sorted_pages %} - {% if page.title %} - { - "title" : {{ page.title | jsonify }}, - "url" : "{{ site.baseurl }}{{ page.url }}" - } {% unless forloop.last %},{% endunless %} - {% endif %} -{% endfor %} -] |