# mkids: make the ID files
# $Id: mkids,v 2.9 2005/08/24 04:51:49 grog Exp grog $
if [ ! -f ids.mm ]; then
  touch ids.mm
fi
echo +++ $@
(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 ) > idids.mm
(echo .ds os `uname -s` 
echo .ds osver `uname -r` 
echo .ds formatdate `date +'%e %B %Y'` 
# For drafts
# echo .ds RCS-ID '"' Draft second edition of `TZ=Etc/UTC date` )>ids.mm.new
echo .ds RCS-ID) >ids.mm.new
cmp ids.mm ids.mm.new 2>& 1 >/dev/null
if [ $? -ne 0 ]; then 
  mv ids.mm.new ids.mm
else
   rm ids.mm.new
   touch ids.mm
fi
