A plugin for WordPress that allows you to manage the robots.txt output