web page no longer uses CHANGES/README.txt

diff --git a/scripts/dist b/scripts/dist
index 5f9d2fe..14aabdb 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
-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