It would work the same way as a regular robots.txt file would, just being in a separate directory for https. Joseph