Ship README.developers to web.

[disorder] / scripts / dist

diff --git a/scripts/dist b/scripts/dist
index 7616bb3246eb115b1c03318ed7495ed7854d11cb..c77f33ebbf18974ecbbe65c61a8e3eab4d825a38 100755 (executable)
--- a/scripts/dist
+++ b/scripts/dist
@@ -112,13 +112,13 @@ build() {
 }
 
 # Build various debs
-build chroot:lenny64 lenny lenny oldstable
-build ssh:leucomorph lenny lenny oldstable
+#build chroot:lenny64 lenny lenny oldstable
+#build ssh:leucomorph lenny lenny oldstable
 build ssh:araminta squeeze "" stable
 build ssh:sandestin squeeze "" stable
 
 # Update the web
-cp $src $web
+cp $src README README.developers CHANGES.html $web
 cd doc
 for f in *.[1-9].html; do
   echo $f