#! /bin/csh -f
# Last edited on 1999-07-10 22:30:29 by stolfi

set usage = "$0 FNUM"

# Outputs a list of the units that make up page FNUM, in 
# reading order.

if ( $#argv != 1 ) then
  echo "usage: ${usage}"; exit 1
endif

set fnum = $1; shift;

/bin/cat ${STOLFIHOME}/voynich/work/L16+H-eva/INDEX \
  | egrep "[:]${fnum}[.]" \
  | gawk -v FS=":" '/./{print $2}'