#!/usr/bin/env bash
ERRFILE="https://raw.github.com/postgres/postgres/master/src/backend/utils/errcodes.txt"
date=$(date)
echo "%% DO NOT EDIT - AUTOGENERATED ON $date"
wget -qO- "$ERRFILE" | ./convert_errcodes.txt.awk