#! /bin/bash
# Last edited on 2023-02-21 23:04:09 by stolfi

echo 'bahia/map.dat -> bahia/map.rnt'
cat bahia/map.dat \
  | convert_sagre_dat.gawk \
      -v xbase=702900 -v ybase=7654100 \
      -v maxstep=20 \
  > bahia/map.rnt
echo ' done.'

echo 'campinas/map.dat -> campinas/map.rnt'
cat campinas/map.dat \
  | convert_sagre_dat.gawk \
      -v xbase=296000 -v ybase=7466500 \
      -v maxstep=15 \
  > campinas/map.rnt
echo ' done.'

echo 'itajobi/map.dat -> itajobi/map.rnt'
cat itajobi/map.dat \
  | convert_sagre_dat.gawk \
      -v xbase=700500 -v ybase=7640300 \
      -v maxstep=15 \
  > itajobi/map.rnt
echo ' done.'