[Python-Dev] RE: [Doc-SIG] [development doc updates] (original) (raw)

Fred L. Drake, Jr. fdrake@acm.org
Wed, 30 May 2001 01:53:23 -0400 (EDT)

Tim Peters writes:

Stumbled into one glitch: nonzerodigit doesn't resolve correctly; the node24.html page it refers to doesn't seem to exist.

That was the bug alluded to. The digit* grouped with the nonzerodigit also doesn't work, although the other two uses of digit on that page (floating.html) work properly. I'll investigate tomorrow; just too tired tonight.

-Fred

-- Fred L. Drake, Jr. PythonLabs at Digital Creations