The current process for documentation update is as follows: 1) Docs get checked into hg 2) Tarek has a cron script that checks it out of hg, builds the doctree, and checks that into svn. 3) The site updates from svn. The script is currently on Tarek's box. It would be good if we could migrate it into the ops infrastructure so that he doesn't have to monitor it, be single point of contact, etc. Obviously it's a low priority at this point.