Move src/doc/ to /.