sphinx-doc/sphinx

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

Open

#776 geöffnet am 2. Jan. 2015

Auf GitHub ansehen
 (12 Kommentare) (1 Reaktion) (0 zugewiesene Personen)Python (1.985 Forks)batch import
builder:htmlhelp wantedtype:enhancement

Repository-Metriken

Stars
 (5.625 Stars)
PR-Merge-Metriken
 (Durchschn. Merge 10T 11h) (11 gemergte PRs in 30 T)

Beschreibung

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