sphinx-doc/sphinx

Can't search numbers, codes, digits...

Open

#776 opened on Jan 2, 2015

View on GitHub
 (12 comments) (1 reaction) (0 assignees)Python (1,985 forks)batch import
builder:htmlhelp wantedtype:enhancement

Repository metrics

Stars
 (5,625 stars)
PR merge metrics
 (Avg merge 10d 11h) (11 merged PRs in 30d)

Description

Hi,

Since I've been writing documentation that includes some digital codes, I wanted to be able to retrieve documents that contain these codes. But it failed. I've noticed that the search tool is not able to retrieve documents containing numbers.

How to reproduce it:

  • create a simple sphinx documentation using //sphinx-quickstart//,
  • edit the index.rst page and add //"Hi! I'm 1234"// in it.
  • build it (make html)
  • serve the page through a simple webserver (I've used //"python -m SimpleHTTPServer"//)
  • search "1234" via the search form.
  • no result.

maybe these string are not considered as "words", and so they're not included in the index?


Contributor guide