From: Wolfgang Bangerth <bangerth@math.tamu.edu>
Date: Thu, 27 Sep 2012 16:52:25 +0000 (+0000)
Subject: Remove a subdirectory that only contains tools we never seem to
X-Git-Tag: v8.0.0~2017
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ada2ba7b284726bbfbc7111bb851b3bf14985651;p=dealii.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;