On 07/20/2015 11:21 PM, Peter Eastman wrote: > 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.
That's certainly a valid request. I turned it into an issue at https://github.com/sphinx-doc/sphinx/issues/1962 Georg -- 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.
