Depending on your server software, you could also configure your server to generate a 301 response for the old document names. I have done this in the past on apache with mod_rewrite. It could also be done with a mod_perl handler or even a dispatcher if you drive everything through a dispatch script.