]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Remove obsolete scripts
authormaier <maier@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 22 Jan 2014 12:16:50 +0000 (12:16 +0000)
committermaier <maier@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 22 Jan 2014 12:16:50 +0000 (12:16 +0000)
git-svn-id: https://svn.dealii.org/trunk@32284 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/license/adjust.pl [deleted file]
deal.II/doc/license/replace.sh [deleted file]

diff --git a/deal.II/doc/license/adjust.pl b/deal.II/doc/license/adjust.pl
deleted file mode 100644 (file)
index d36541a..0000000
+++ /dev/null
@@ -1,44 +0,0 @@
-#!/bin/perl
-## ---------------------------------------------------------------------
-## $Id$
-##
-## Copyright (C) 2012 - 2013 by the deal.II Authors
-##
-## This file is part of the deal.II library.
-##
-## The deal.II library is free software; you can use it, redistribute
-## it, and/or modify it under the terms of the GNU Lesser General
-## Public License as published by the Free Software Foundation; either
-## version 2.1 of the License, or (at your option) any later version.
-## The full text of the license can be found in the file LICENSE at
-## the top level of the deal.II distribution.
-##
-## ---------------------------------------------------------------------
-
-my $header=1;
-
-print << 'EOT'
-//----------------------------------------------------------------------
-// $Id$
-//
-// Copyright (C) 1998 - 2013 by the deal.II authors
-//
-// This file is part of the deal.II library.
-//
-// The deal.II library is free software; you can use it, redistribute
-// it, and/or modify it under the terms of the GNU Lesser General
-// Public License as published by the Free Software Foundation; either
-// version 2.1 of the License, or (at your option) any later version.
-// The full text of the license can be found in the file LICENSE at
-// the top level of the deal.II distribution.
-//
-//----------------------------------------------------------------------
-EOT
-    ;
-
-while(<>)
-{
-    $header=0 unless m/\/\//;
-    next if $header;
-    print;
-}
diff --git a/deal.II/doc/license/replace.sh b/deal.II/doc/license/replace.sh
deleted file mode 100755 (executable)
index 5b87905..0000000
+++ /dev/null
@@ -1,66 +0,0 @@
-#!/bin/bash
-## ---------------------------------------------------------------------
-## $Id$
-##
-## Copyright (C) 2012 - 2013 by the deal.II Authors
-##
-## This file is part of the deal.II library.
-##
-## The deal.II library is free software; you can use it, redistribute
-## it, and/or modify it under the terms of the GNU Lesser General
-## Public License as published by the Free Software Foundation; either
-## version 2.1 of the License, or (at your option) any later version.
-## The full text of the license can be found in the file LICENSE at
-## the top level of the deal.II distribution.
-##
-## ---------------------------------------------------------------------
-
-FILE=$1
-
-FIRST_YEAR=$(grep Copyright $FILE | perl -pi -e 's/.*?(\d{4}).*/\1/')
-if [ "$FIRST_YEAR" = "2013" ] || (! [[ "$FIRST_YEAR" =~ "^[0-9]+$" ]])
-then
-  YEAR="2013"
-else if
-  YEAR="$FIRST_YEAR - 2013"
-fi
-
-sed -e "s/@YEAR@/$YEAR/" doc/license/header-template > /tmp/foobar22.temp
-
-header_lines=1
-on_whitespace=true
-whitespace_detected=false
-while read line
-do
-  if $on_whitespace && [[ $line =~ "^$" ]]
-  then
-    whitespace_detected=true
-    header_lines=$[$header_lines+1]
-    continue
-  else
-    on_whitespace=false
-  fi
-
-  if ! [[ $line =~ "^//.*$" ]]
-  then
-    break
-  else
-    header_lines=$[$header_lines+1]
-  fi
-done < $FILE
-
-if $whitespace_detected
-then
-  echo "$FILE --> whitespace"
-  echo "$FILE --> $header_lines"
-else
-  if [ $header_lines -lt 10 ]
-  then
-    echo "$FILE --> $header_lines"
-  fi
-fi
-
-tail -n+$header_lines $FILE >> /tmp/foobar22.temp
-
-cp /tmp/foobar22.temp $FILE
-

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.