sphinx-doc/sphinx

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

Open

#776 opened on 2015年1月2日

GitHub で見る
 (12 comments) (1 reaction) (0 assignees)Python (5,625 stars) (1,985 forks)batch import
builder:htmlhelp wantedtype:enhancement

説明

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?


コントリビューターガイド