#!/bin/bash
# usage:
#   coord2selection kal-directory degree_latitude degree_longitude > mapfilenames
#
# select map file names for maps containing a point coordinate

if [ $# -ne 3 ]; then
  echo "Syntax:"
  echo "coord2selection kal-directory degree_latitude degree_longitude > mapfilenames"
  exit
fi

cat "$1/*.kal" | kal2selectionpt $2 $3
