chiark / gitweb /
Switch to GPL v3
[disorder] / scripts / dist
index 3d58b74d38c6ddda77d91604448efe64df6a618a..6007ab0debb0bbb83d29db8575f5d31ac5d05469 100755 (executable)
@@ -1,37 +1,34 @@
 #! /bin/bash
 #
 # This file is part of DisOrder
-# Copyright (C) 2005, 2006 Richard Kettlewell
+# Copyright (C) 2005-2008 Richard Kettlewell
 #
-# This program is free software; you can redistribute it and/or modify
+# This program is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2 of the License, or
+# the Free Software Foundation, either version 3 of the License, or
 # (at your option) any later version.
-#
-# This program is distributed in the hope that it will be useful, but
-# WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
-# General Public License for more details.
-#
+# 
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+# 
 # You should have received a copy of the GNU General Public License
-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
-# USA
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
 #
 
 set -e
 [ -d =build ] && cd =build
 make
-make check
+make distcheck
 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
 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 plumbing.svg $HOME/work/web/disorder
+cp plumbing.png $HOME/work/web/disorder