Move doc builds off the rsync machine

This task involves moving the doc builds off of the rsync machine, and instead using to build, which are then pushed to rsync for mirror distribution.

  • Probably pushed weekly
  • Remember the sqlite index script
  • Consider phd stable vs phd trunk for builds
  • Be sure the build isn't broken before pushing to rsync
  • Be sure the appropriate files are pushed
doc/todo/rsync_doc_build_migration.txt · Last modified: 2017/09/22 13:28 by