From: bangerth Date: Thu, 27 Sep 2012 16:52:25 +0000 (+0000) Subject: Remove a subdirectory that only contains tools we never seem to X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3b65f049158cf1ab8e7fb2df1b78aa872fed97d0;p=dealii-svn.git Remove a subdirectory that only contains tools we never seem to use. git-svn-id: https://svn.dealii.org/trunk@26792 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/common/misc/head b/deal.II/common/misc/head deleted file mode 100644 index 97b30f4177..0000000000 --- a/deal.II/common/misc/head +++ /dev/null @@ -1,28 +0,0 @@ -//---------------------------- /var/tmp/deal.II/common/misc/head --------------------------- -// $Id$ -// Version: $Name$ -// -// Copyright (C) 2002 by the deal.II authors -// -// This file is subject to QPL and may not be distributed -// without copyright and license information. Please refer -// to the file deal.II/doc/license.html for the text and -// further information on this license. -// -//---------------------------- /var/tmp/deal.II/common/misc/head --------------------------- - - -//---------------------------- /var/tmp/deal.II/common/misc/head --------------------------- -// $Id$ -// Version: $Name$ -// -// Copyright (C) 2002 by the deal.II authors -// -// This file is subject to QPL and may not be distributed -// without copyright and license information. Please refer -// to the file deal.II/doc/license.html for the text and -// further information on this license. -// -//---------------------------- /var/tmp/deal.II/common/misc/head --------------------------- - - diff --git a/deal.II/common/misc/head_cc.pl b/deal.II/common/misc/head_cc.pl deleted file mode 100644 index 5ffeb26ebf..0000000000 --- a/deal.II/common/misc/head_cc.pl +++ /dev/null @@ -1,28 +0,0 @@ -$/='this should not appear in any of these stupid files'; - -$fn = $ARGV; - -$head = << 'EOT' -//---------------------------- XXX --------------------------- -// $Id$ -// Version: $Name$ -// -// Copyright (C) 2002 by the deal.II authors -// -// This file is subject to QPL and may not be distributed -// without copyright and license information. Please refer -// to the file deal.II/doc/license.html for the text and -// further information on this license. -// -//---------------------------- XXX --------------------------- - - -EOT - ; - -$head =~ s/XXX/$fn/g; - -s/^[^\#]+/$head\n\n\n/s; -s/\/\*-+\s+$fn\s+-+\*\/\n//g; -s/\/\*\s*end of.*H\s*\*\///g; -s/\n[ \t]*\n[ \t]*\n\s*\n*/\n\n\n/g; diff --git a/deal.II/common/misc/head_h.pl b/deal.II/common/misc/head_h.pl deleted file mode 100644 index 7f38756dce..0000000000 --- a/deal.II/common/misc/head_h.pl +++ /dev/null @@ -1,34 +0,0 @@ -$/='this should not appear in any of these stupid files'; - -$fn = $ARGV; -$guard = '__deal2__' . $fn; - -$guard =~ s/\./_/g; - -$head = << 'EOT' -//---------------------------- XXX --------------------------- -// $Id$ -// Version: $Name$ -// -// Copyright (C) 2002 by the deal.II authors -// -// This file is subject to QPL and may not be distributed -// without copyright and license information. Please refer -// to the file deal.II/doc/license.html for the text and -// further information on this license. -// -//---------------------------- XXX --------------------------- -#ifndef GGG -#define GGG - - -EOT - ; - -$head =~ s/XXX/$fn/g; -$head =~ s/GGG/$guard/g; - -s/^.+\#define __[^\n]*/$head/s; -s/\/\*-+\s+$fn\s+-+\*\/\n//g; -s/\/\*\s*end of.*H\s*\*\///g; -s/\n[ \t]*\n[ \t]*\n\s*\n*/\n\n\n/g;