scripts/setup now waits until the server has started up before

[disorder] / scripts / dist

diff --git a/scripts/dist b/scripts/dist
index 558384955b69fce724f9315ca07ae6c47f550f7e..d5134e4cdc9b99e3f26f6dbc128438b0cbf8efee 100755 (executable)
--- a/scripts/dist
+++ b/scripts/dist
@@ -26,13 +26,13 @@ make check
 make dist-bzip2
 d=$(make echo-distdir)
 cp $d.tar.bz2 $HOME/work/web/disorder
-cp .src/CHANGES $HOME/work/web/disorder/CHANGES.txt
-cp .src/README $HOME/work/web/disorder/README.txt
-cp .src/ChangeLog.d/*--* $HOME/work/web/disorder/ChangeLog.d
+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
   rm -f $HOME/work/web/disorder/$f
   sed < $f > $HOME/work/web/disorder/$f 's/^@.*//'
 done
-# arch-tag:jpK3z3qFK+Sv/8QVvpMUIg
+cp plumbing.svg $HOME/work/web/disorder
+cp plumbing.png $HOME/work/web/disorder