web page no longer uses CHANGES/README.txt

diff --git a/scripts/dist b/scripts/dist
index 5f9d2fef712302d0eb8f396a7c9efd4257ce1664..14aabdbe2693c995f591230af699bbf5d724228b 100755 (executable)
--- a/scripts/dist
+++ b/scripts/dist
@@ -26,8 +26,6 @@ make check
 make dist-bzip2
 d=$(make echo-distdir)
 cp $d.tar.bz2 $HOME/work/web/disorder
 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
 cd doc
 for f in *.[1-9].html; do
   echo $f