http://blogs.msdn.com/livesearch/archive/2006/06/28/649980.aspx

As a friendly tip, if you are a site owner, please note that the HTTPS portion of your site is considered separately from a robots.txt perspective and requires its own robots.txt file.