Consider unblocking mawk

[Peter Eisentraut <peter_e@gmx.net>]

Please consider unblocking mawk, so there are no useless differences between
testing and unstable.  The upload apparently just missed the freeze.

diff -u mawk-1.3.3/debian/changelog mawk-1.3.3/debian/changelog
--- mawk-1.3.3/debian/changelog
+++ mawk-1.3.3/debian/changelog
@@ -1,3 +1,10 @@
+mawk (1.3.3-11.1) unstable; urgency=low
+
+  * Non-maintainer upload.
+  * debian/postinst: fix bashism.  Closes: #308134
+
+ -- Peter Eisentraut <petere@debian.org>  Sat, 05 Apr 2008 17:11:11 +0200
+
 mawk (1.3.3-11) unstable; urgency=low

   * 08_fix-for-gcc3.3.dpatch: grossly hack configure to work around
diff -u mawk-1.3.3/debian/postinst mawk-1.3.3/debian/postinst
--- mawk-1.3.3/debian/postinst
+++ mawk-1.3.3/debian/postinst
@@ -8,7 +8,7 @@
   --slave /usr/share/man/man1/nawk.1.gz nawk.1.gz /usr/share/man/man1/mawk.1.gz
 for badlink in /usr/man/man1/awk.1 /usr/man/man1/nawk.1 /usr/share/man/man1/awk.1 /usr/share/man/man1/nawk.1; do
   if [ -L $badlink ]; then
-    if ! ls -l $(ls -l $badlink | cut -d">" -f2) &>/dev/null; then
+    if ! ls -l $(ls -l $badlink | cut -d">" -f2) >/dev/null 2>&1; then
       rm -f $badlink; fi; fi; done

 exit 0