1
$/='this should not appear in any of these stupid files';
6
//---------------------------- XXX ---------------------------
7
// $Id: head_cc.pl 5351 2002-01-07 09:48:43Z wolf $
10
// Copyright (C) 2002 by the deal.II authors
12
// This file is subject to QPL and may not be distributed
13
// without copyright and license information. Please refer
14
// to the file deal.II/doc/license.html for the text and
15
// further information on this license.
17
//---------------------------- XXX ---------------------------
25
s/^[^\#]+/$head\n\n\n/s;
26
s/\/\*-+\s+$fn\s+-+\*\/\n//g;
27
s/\/\*\s*end of.*H\s*\*\///g;
28
s/\n[ \t]*\n[ \t]*\n\s*\n*/\n\n\n/g;