From: maier <maier@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Wed, 22 Jan 2014 12:16:50 +0000 (+0000)
Subject: Remove obsolete scripts
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bf52181d687cf7a608e780493b5a063e1f8b9166;p=dealii-svn.git

Remove obsolete scripts

git-svn-id: https://svn.dealii.org/trunk@32284 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/doc/license/adjust.pl b/deal.II/doc/license/adjust.pl
deleted file mode 100644
index d36541a325..0000000000
--- a/deal.II/doc/license/adjust.pl
+++ /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
index 5b87905cd3..0000000000
--- a/deal.II/doc/license/replace.sh
+++ /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
-