r3: - more compatible with mawk

diff --git a/debian/postinst b/debian/postinst
index fda11a0..f059b13 100755 (executable)
--- a/debian/postinst
+++ b/debian/postinst
@@ -49,7 +49,7 @@ script='
 BEGIN {
     FS = "\""
 }
-/^[[:space:]]*<rule id="[[:digit:]]*".*>/ {
+/<rule id="[0-9]*".*>/ {
     if (max < $2)
         max = $2
 }