#! /bin/csh -f
# Last edited on 2008-02-04 18:15:26 by stolfi

# Builds the index pages.
# Omits image sets that end in "N".

set path = ( ${STOLFIHOME}/EXPORT/images/tools/bin ${STOLFIHOME}/bin $path )

set mkix = ( make-image-index -force )
set mkmt = ( make-master-image-index )

foreach dir ( $* )
  ( cd $dir && \
    pwd && \
    ls -1d */p.gif | grep -v 'N/p.gif' | ${mkix} -force -title "`cat TITLE.txt`" ) 
end

${mkmt}