It turns out Sphinx 1.3 introduced a new role called "numref", which is the same name the extension was using. It then silently ignored the extension and created instances of its own node type rather than the extension's type.
Glad to have that figured out. Could I make a feature request, though? If an extension defines a role or directive with the same name as a built in one, could it produce an error rather than silently ignoring it? That would have saved me hours of debugging. -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sphinx-users. For more options, visit https://groups.google.com/d/optout.
