sedit  "s/^dist:.*/dist: xen tools docs/"     Makefile    &&
sedit  "s:dst=\'/\':dst=\'$INSTALL_ROOT/\':"  install.sh  &&
make  dist
