From 4d59f9e543c291e1454c638e32cbe94af66b11b8 Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Wed, 20 Feb 2008 11:53:00 +0100 Subject: [PATCH] ID domain names now end with `.pci'. --- maint/gen-zone | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/maint/gen-zone b/maint/gen-zone index 57d7982..b3591f8 100755 --- a/maint/gen-zone +++ b/maint/gen-zone @@ -47,6 +47,6 @@ sub esc($) { foreach my $i (keys %ids) { my $j = join(".", reverse split(/[: ]/, $i)); - print "$j\tTXT \"i=", esc($ids{$i}), "\"\n"; - # print "$j\tTXT \"c=", esc($comments{$i}), "\"\n" + print "$j.pci\tTXT \"i=", esc($ids{$i}), "\"\n"; + # print "$j.pci\tTXT \"c=", esc($comments{$i}), "\"\n" } -- 2.39.2