]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Remove a subdirectory that only contains tools we never seem to
authorbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 27 Sep 2012 16:52:25 +0000 (16:52 +0000)
committerbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 27 Sep 2012 16:52:25 +0000 (16:52 +0000)
use.

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

deal.II/common/misc/head [deleted file]
deal.II/common/misc/head_cc.pl [deleted file]
deal.II/common/misc/head_h.pl [deleted file]

diff --git a/deal.II/common/misc/head b/deal.II/common/misc/head
deleted file mode 100644 (file)
index 97b30f4..0000000
+++ /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 (file)
index 5ffeb26..0000000
+++ /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 (file)
index 7f38756..0000000
+++ /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;

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.