chiark / gitweb /
ship plumbing doc when we dist
authorrjk@greenend.org.uk <>
Sat, 29 Sep 2007 17:24:29 +0000 (18:24 +0100)
committerrjk@greenend.org.uk <>
Sat, 29 Sep 2007 17:24:29 +0000 (18:24 +0100)
scripts/dist

index 3d58b74..1855aa8 100755 (executable)
@@ -26,12 +26,14 @@ 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
+cp ChangeLog.d/*--* $HOME/work/web/disorder/ChangeLog.d
 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
+cp doc/plumbing.svg $HOME/work/web/disorder
+cp doc/plumbing.png $HOME/work/web/disorder