sphinx-doc/sphinx

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

Open

#776 建立於 2015年1月2日

在 GitHub 查看
 (12 留言) (1 反應) (0 負責人)Python (5,625 star) (1,985 fork)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?


貢獻者指南