dnssec-creatkey
changeset 32 d1addc2ec712
parent 31 1cea07056124
child 33 d3269961e944
--- a/dnssec-creatkey	Thu Aug 12 10:18:58 2010 +0200
+++ b/dnssec-creatkey	Fri Aug 13 10:09:37 2010 +0200
@@ -273,3 +273,9 @@
     close(ZONE);
 
 }
+
+# "toucht" alle zonen damit der serial erhoht wird und die
+# zone neu signiert wird
+for ( &del_double( @change, @manu ) ) {
+	system "touch $master_dir/$_/$_";
+}