Oct. 6, 2013
6:46 a.m.
Georg Brandl added the comment: The bug is that "integer" links to the "integer" production in the Python grammar. This shouldn't happen; I'll have a look on the Sphinx side. As a workaround, "integer" can be replaced by "digit+" as requested (it occurs twice). ---------- nosy: +georg.brandl _______________________________________ Python tracker <report@bugs.python.org> <http://bugs.python.org/issue19175> _______________________________________