Thanks for your work, Takeshi! I pulled the latest version and successfully built all my projects.
If one day you have some time, please look at this ticket which is still open: https://github.com/sphinx-doc/sphinx/issues/2336 (i admit that i didn't run the test suite after applying my patch) Luc On 01/10/16 17:05, Komiya Takeshi wrote: > Hi all, > > I'm delighted to announce the release of Sphinx 1.4.7, now available on > the Python package index at <http://pypi.python.org/pypi/Sphinx > <http://pypi.python.org/pypi/Sphinx>>. > > It includes about 16 bug fixes for the 1.4.6 release series. > > For the full changelog, go to > <http://www.sphinx-doc.org/en/stable/changes.html > <http://www.sphinx-doc.org/en/stable/changes.html>>. > Thanks to all collaborators and contributers! > > What is it? > =========== > > Sphinx is a tool that makes it easy to create intelligent and beautiful > documentation for Python projects (or other documents consisting of > multiple reStructuredText source files). > > Website: http://sphinx-doc.org/ <http://sphinx-doc.org/> > IRC: #sphinx-doc on irc.freenode.net <http://irc.freenode.net/> > > Enjoy! > -- > Takeshi KOMIYA > -- > You received this message because you are subscribed to the Google > Groups "sphinx-users" group. > To unsubscribe from this group and stop receiving emails from it, send > an email to sphinx-users+unsubscr...@googlegroups.com > <mailto:sphinx-users+unsubscr...@googlegroups.com>. > To post to this group, send email to sphinx-users@googlegroups.com > <mailto:sphinx-users@googlegroups.com>. > Visit this group at https://groups.google.com/group/sphinx-users. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sphinx-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to sphinx-users+unsubscr...@googlegroups.com. To post to this group, send email to sphinx-users@googlegroups.com. Visit this group at https://groups.google.com/group/sphinx-users. For more options, visit https://groups.google.com/d/optout.
