From 3b65f049158cf1ab8e7fb2df1b78aa872fed97d0 Mon Sep 17 00:00:00 2001 From: bangerth Date: Thu, 27 Sep 2012 16:52:25 +0000 Subject: [PATCH] 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 --- deal.II/common/misc/head | 28 ---------------------------- deal.II/common/misc/head_cc.pl | 28 ---------------------------- deal.II/common/misc/head_h.pl | 34 ---------------------------------- 3 files changed, 90 deletions(-) delete mode 100644 deal.II/common/misc/head delete mode 100644 deal.II/common/misc/head_cc.pl delete mode 100644 deal.II/common/misc/head_h.pl 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; -- 2.39.5