Further to this, I went back to sphinx 1.0.7, which was successful last time.
With no other changes, the index problem does not occur. So, is there something that I need to change in the configuration to use 1.1.2, or is this perhaps a bug? Thanks -- You received this message because you are subscribed to the Google Groups "sphinx-dev" group. To view this discussion on the web visit https://groups.google.com/d/msg/sphinx-dev/-/bHGaOM-GrXYJ. To post to this group, send email to sphinx-dev@googlegroups.com. To unsubscribe from this group, send email to sphinx-dev+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sphinx-dev?hl=en.