# mkids: make the ID files
# $Id: mkids,v 1.2 2005/11/02 04:01:57 grog Exp $
# mkids title version files
TITLE=$1
VERSION=$2
if [ ! -f ${VERSION}/ids ]; then
  touch ${VERSION}/ids
fi
shift
shift
(echo .na 
echo .nf 
echo .ft CW
echo .vs 9p
echo .ps 8
grep \$\Id $* | sed 's:^.*\$I:\$I:' 
echo .br 
echo .ft
echo .ad 
echo .fi 
echo .vs ) > ${VERSION}/idids
(echo .ds os `uname -s` 
echo .ds osver `uname -r` 
echo .ds Book*title $TITLE
) >  ${VERSION}/ids.new
egrep -v ormat.?date ${VERSION}/ids | grep -v RCS-ID > ${VERSION}/ids.part
cmp ${VERSION}/ids.part ${VERSION}/ids.new 2>& 1 >/dev/null
# XXX
# This might work one day, but for the moment the dates are included,
# so it will always change.
if [ $? -ne 0 ]; then 
  # New ids are different, replace.
  echo --- old
  cat ${VERSION}/ids.part
  echo +++ old
  cat ${VERSION}/ids.new
  echo ids have changed, need to repeat format
  mv ${VERSION}/ids.new ${VERSION}/ids
  echo .ds formatdate `date +'%e %B %Y'` >> ${VERSION}/ids
  echo .ds Format*date `date +'%e %B %Y, %H:%M:%S'` >> ${VERSION}/ids
  # For drafts
  if [ "$VERSION" != "" ]; then 	
    echo .ds RCS-ID '"'$VERSION of `date +'%e %B %Y, %H:%M:%S'`
  else 
    echo .ds RCS-ID
  fi
else
  echo ids unchanged
  rm ${VERSION}/ids.new
fi