diff --git a/docs/content/javascripts/pkg-search.js b/docs/content/javascripts/pkg-search.js new file mode 100644 index 00000000..fb6087b4 --- /dev/null +++ b/docs/content/javascripts/pkg-search.js @@ -0,0 +1,226 @@ +/* + * Scoped package search. + * + * Every generated package-overview page (see docs/gen_pages.py) carries a + * `