finding files from archives: where?

[Augustin <beginner2005@masquilier.org>]

Hello,

I am a would-be new debian user (using Mandriva now).

I will try to install from the hard disk (can't burn cds).

http://www.debian.org/releases/stable/i386/ch04s05.html.en
Above, they write:

""
Copy the following files from the Debian archives to a convenient location on 
your hard drive, for instance to /boot/newinstall/. 
- vmlinuz (kernel binary) 
- initrd.gz (ramdisk image) 
""

The problem is that I can't figure out where to get those files from.
I tried both search boxes, to no avail:
http://www.debian.org/distrib/packages.en-gb.html#search_packages

(trying to install stable/i386).


1) the documentation is clearly not precise enough.
Do I report this as a bug in the same way as I would any other bug from 
any .deb package?
http://www.debian.org/Bugs/Reporting


2) where can I get the said files from?


Thanks,

Augustin.




-- 
http://www.wechange.org/
Because we and the world need to change.
 
http://www.reuniting.info/
Intimate Relationships, peace and harmony in the couple.

http://www.gnosis-usa.com/
Revolutionary Psychology, White Tantrism, Dream Yoga...

http://www.masquilier.org/
Condorcet, Approval alternative, better voting methods.