#!/bin/sh
set -e
update-alternatives --quiet --install /usr/bin/awk awk /usr/bin/original-awk 0 \
  --slave /usr/share/man/man1/awk.1.gz awk.1.gz /usr/share/man/man1/original-awk.1.gz
