chiark / gitweb /
update CHANGES.html
[disorder] / scripts / dist
index 5f9d2fef712302d0eb8f396a7c9efd4257ce1664..92bbf7208fae7bdbfba55cfb6eca97065b6fe608 100755 (executable)
 set -e
 [ -d =build ] && cd =build
 make
-make check
+make distcheck
 make dist-bzip2
 d=$(make echo-distdir)
 cp $d.tar.bz2 $HOME/work/web/disorder
-cp CHANGES $HOME/work/web/disorder/CHANGES.txt
-cp README $HOME/work/web/disorder/README.txt
 cd doc
 for f in *.[1-9].html; do
   echo $f