#! /bin/sh file=${1:-input_map.inc} echo "# generated by $(basename $0)" cat <