Where do .pyc files come from?

[Fredrik Lundh]

Ernesto wrote:

>I noticed in a python distribution there were 5 python files (.py) and
> 5 other files with the same name, but with the extension .pyc .  Is
> this some kind of compiled version of the .py files.  Thanks,

http://www.python.org/doc/2.4.1/tut/node8.html#SECTION008120000000000000000

</F>