Support for search in `odoc`#972

Merged

jonludlam merged 61 commits intoocaml:masterfrom

panglesd:search-bar2

Oct 27, 2023

Commits on Oct 27, 2023

Add folding for odoc's Lang model to the API.
panglesd
committed
Add an option to html generation to not include links
panglesd
committed
Add search support in odoc

panglesd
and
EmileTrotignon
committed
Adding search support in the reference driver
panglesd
committed
Allows generating json_display from parts.

EmileTrotignon
authored and
panglesd
committed
UI update

EmileTrotignon
authored and
panglesd
committed
Format

EmileTrotignon
authored and
panglesd
committed
UI fix

EmileTrotignon
authored and
panglesd
committed
Ui fix support file

EmileTrotignon
authored and
panglesd
committed
Add support for type search of extension constructors

EmileTrotignon
authored and
panglesd
committed
Type search of exceptions

EmileTrotignon
authored and
panglesd
committed
Adding a generator for search entries
panglesd
committed
adding unused text search reference
panglesd
committed
prototype of asset reference resolving
panglesd
committed
Use asset reference for search scripts
panglesd
committed
Removing now unused `--search-script` argument
panglesd
committed
Allow multiple search assets
panglesd
committed
Search : printing update

EmileTrotignon
authored and
panglesd
committed
autoreview comments
panglesd
committed
Promote mdx tests
panglesd
committed
Sort json array in test to avoid dependent output
panglesd
committed
fix compatibility
panglesd
committed
Fix search-assets on pages, and subpages
panglesd
committed
Improve test
panglesd
committed
Search index: Printing one entry per line in test
panglesd
committed
Test index link

EmileTrotignon
authored and
panglesd
committed
style tweaking

EmileTrotignon
authored and
panglesd
committed
Documents the new code

EmileTrotignon
authored and
panglesd
committed
Cleanup and comments

EmileTrotignon
and
panglesd
committed
Use `Html_types` from `Tyxml` to define html type.
panglesd
committed
Update driver to use the `--search-asset` argument
panglesd
committed
Use record in reference driver
panglesd
committed
Search: Use type_expr from Text in Html
panglesd
committed
remove extra div from json display

EmileTrotignon
authored and
panglesd
committed
comment update

EmileTrotignon
authored and
panglesd
committed
format

EmileTrotignon
authored and
panglesd
committed
long rhs do not wrap

EmileTrotignon
authored and
panglesd
committed
Search: report error when failing to generate an url
panglesd
committed
css update

EmileTrotignon
authored and
panglesd
committed
css tweaks
panglesd
committed
separate some functions for jsoo deadcode elimination

EmileTrotignon
authored and
panglesd
committed
Review comments

panglesd
and
Julow
committed
search: When no search assets are given, use the one from the parent
panglesd
committed
Separate "library" indexing from json indexing
panglesd
committed
lazily load the search script
panglesd
committed
compile-index: take a file containing a list of file, as input
panglesd
committed
Search: store search assets in Document and not in Page
panglesd
committed
search: improve script readability
panglesd
committed
test: use `printf` instead of `echo -e`
panglesd
committed
Fixes sidebar on mobile

EmileTrotignon
authored and
panglesd
committed
Search: improve search UI
panglesd
committed
search: Allow both --file-list and individual files in the CLI
panglesd
committed
Leaner html and css changes

EmileTrotignon
authored and
panglesd
committed
Search indexing: correct error message when passed a hidden module
panglesd
committed
set search snake color

EmileTrotignon
authored and
panglesd
committed
Search: Pass search scripts at html generation
panglesd
committed
Autoreview comments
panglesd
committed
Search: Driver: use --search-uri instead of assets
panglesd
committed
Search: Add changelog entry
panglesd
committed
Search: rename test folder
panglesd
committed
Search: compatibility with new extension decl id
panglesd
committed