#! /bin/sh

set -v

DB=dlg

destroydb $DB
createdb $DB


# Fill the postgres tables

$GEOHOME/geo-ext/loadgeo-ext $DB

$GEOHOME/postgres/makecolors $DB

$GEOHOME/postgres/makepredefs $DB

$GEOHOME/postgres/makeregexp $DB

$GEOHOME/postgres/makemenu $DB

$GEOHOME/postgres/makeicons $DB

$GEOHOME/postgres/makedyninfo $DB

#

zcat s01opt/* | ./conv s01 $DB

# dlg_make_topo $DB s01l top_polys 0.1

monitor -c "vacuum" $DB