gettext: awk-format

1 
1 15.3.12 awk Format Strings
1 --------------------------
1 
1    awk format strings are described in the gawk documentation, section
1 Printf, <http://www.gnu.org/manual/gawk/html_node/Printf.html#Printf>.
1