From bf52181d687cf7a608e780493b5a063e1f8b9166 Mon Sep 17 00:00:00 2001 From: maier Date: Wed, 22 Jan 2014 12:16:50 +0000 Subject: [PATCH] Remove obsolete scripts git-svn-id: https://svn.dealii.org/trunk@32284 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/license/adjust.pl | 44 ----------------------- deal.II/doc/license/replace.sh | 66 ---------------------------------- 2 files changed, 110 deletions(-) delete mode 100644 deal.II/doc/license/adjust.pl delete mode 100755 deal.II/doc/license/replace.sh 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 - -- 2.39.5