# This script reorders config_h.SH after metaconfig
# Changing metaconfig is too complicated
#
-# Copyright (C) 2005-2007 by H.Merijn Brand (m)'07 [18-04-2007]
+# This script is run just after metaconfig, and it
+# is run ONLY ONCE. Not to be used afterwards
+#
+# Copyright (C) 2005-2012 by H.Merijn Brand (m)'12 [22-09-2012]
#
# You may distribute under the terms of either the GNU General Public
# License or the Artistic License, as specified in the README file.
open $ch, "> $cSH" or die "Cannot write $cSH: $!\n";
print $ch <<EOW;
+#!/bin/sh
+#
# THIS IS A GENERATED FILE
# DO NOT HAND-EDIT
#