[issue14842] Link to function time() in the docs point to the time module
Petri Lehtinen pe...@digip.org added the comment: Seems that at least all links to the time() function in the time module point to the module (top of the module page) instead of the function. All references use the :func: role, so this must be an issue in Sphinx. Georg: Do you have a clue about this? -- nosy: +georg.brandl title: Link to time.time() in the docs of time.localtime() is wrong - Link to function time() in the docs point to the time module ___ Python tracker rep...@bugs.python.org http://bugs.python.org/issue14842 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue14842] Link to function time() in the docs point to the time module
Roundup Robot devn...@psf.upfronthosting.co.za added the comment: New changeset 40900f791469 by Petri Lehtinen in branch '2.7': Fix time.time() references in the time module docs http://hg.python.org/cpython/rev/40900f791469 New changeset d15f01b0c1a0 by Petri Lehtinen in branch '3.2': Fix time.time() references in the time module docs http://hg.python.org/cpython/rev/d15f01b0c1a0 New changeset 6286dd856252 by Petri Lehtinen in branch 'default': Fix time.time() references in the time module docs http://hg.python.org/cpython/rev/6286dd856252 -- nosy: +python-dev resolution: - fixed stage: needs patch - committed/rejected status: open - closed ___ Python tracker rep...@bugs.python.org http://bugs.python.org/issue14842 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
[issue14842] Link to function time() in the docs point to the time module
Petri Lehtinen pe...@digip.org added the comment: Georg: Nevermind, I got help from #python-dev :) -- ___ Python tracker rep...@bugs.python.org http://bugs.python.org/issue14842 ___ ___ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com