info_dir=/usr/share/info
info_files=(gawkinet gawk)

## arg 1:  the new package version
post_install() {
    for f in ${info_files[@]}; do
	install-info ${info_dir}/$f.info ${info_dir}/dir
    done 
}