search

gravitee-io / issues

Gravitee.io - API Platform - Issues
64 stars 26 forks source link

[portal] Search engine for an API or portal on documentation pages #1478

Open brasseld opened 6 years ago

brasseld commented 6 years ago

In the way as https://github.com/gravitee-io/issues/issues/1477 but for a given API or the documentation pages portal itself.

brasseld commented 6 years ago

Javascript search engine: http://elasticlunr.com