Ship README, CHANGES.html to web.

diff --git a/scripts/dist b/scripts/dist
index c68cc3dcfd78a98007654b505a23eff04c041196..750e3ff0550cd6708483215f8a9fa0fe64a2e9dc 100755 (executable)
--- a/scripts/dist
+++ b/scripts/dist
@@ -118,7 +118,7 @@ build ssh:araminta squeeze "" stable
 build ssh:sandestin squeeze "" stable
 
 # Update the web
-cp $src $web
+cp $src README CHANGES.html $web
 cd doc
 for f in *.[1-9].html; do
   echo $f