diff options
| author | Kefu Chai <kchai@redhat.com> | 2020-04-09 17:14:42 +0200 |
|---|---|---|
| committer | Kefu Chai <kchai@redhat.com> | 2020-04-10 02:38:06 +0200 |
| commit | 8bd8a8badbf992347a0883a537cce414432c867e (patch) | |
| tree | 2f3fbc2739129f134b09385969a76af97f5268bb /admin/doc-read-the-docs.txt | |
| parent | doc: use plantweb as fallback of sphinx-ditaa (diff) | |
| download | ceph-8bd8a8badbf992347a0883a537cce414432c867e.tar.xz ceph-8bd8a8badbf992347a0883a537cce414432c867e.zip | |
doc: add in-doc search from read the docs
readthedocs-sphinx-search features better user experience than the
builtin search offered by sphinx
Signed-off-by: Kefu Chai <kchai@redhat.com>
Diffstat (limited to 'admin/doc-read-the-docs.txt')
| -rw-r--r-- | admin/doc-read-the-docs.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/admin/doc-read-the-docs.txt b/admin/doc-read-the-docs.txt index bcc77ccffb0..b65cc463849 100644 --- a/admin/doc-read-the-docs.txt +++ b/admin/doc-read-the-docs.txt @@ -1 +1,2 @@ plantweb +git+https://github.com/readthedocs/readthedocs-sphinx-search@master |