Bugs item #1489648, was opened at 2006-05-16 10:49 Message generated for change (Comment added) made by montanaro You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=105470&aid=1489648&group_id=5470
Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Documentation Group: None Status: Open Resolution: None Priority: 5 Submitted By: Skip Montanaro (montanaro) Assigned to: Fred L. Drake, Jr. (fdrake) Summary: time module missing from global mod index Initial Comment: The time module is not listed in the latest dev global module index: http://docs.python.org/dev/modindex.html Skip ---------------------------------------------------------------------- >Comment By: Skip Montanaro (montanaro) Date: 2006-05-24 21:34 Message: Logged In: YES user_id=44345 I'm not sure what's to reproduce. I just observed that the dev version of the module index is missing the time module, at least when viewed from my Mac using Safari or Firefox. Does updating the dev docs restore it? Skip ---------------------------------------------------------------------- Comment By: Fred L. Drake, Jr. (fdrake) Date: 2006-05-24 20:51 Message: Logged In: YES user_id=3066 I can't reproduce this, even after doing a "make clobber" in the Doc/ directory. Was there anything weird about the environment? Windows/Cygwin? ---------------------------------------------------------------------- Comment By: George Yoshida (quiver) Date: 2006-05-16 13:44 Message: Logged In: YES user_id=671362 Same as bug #1109523 I can't reproduce this in my local environment but Fred should know the reason. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=105470&aid=1489648&group_id=5470 _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
