#!/bin/sh

# update the calendar:
nawk -f calendar.awk
fold -79 Calendar.NEW >Calendar.NEWER
rm Calendar.NEW

if diff -a Calendar Calendar.NEWER 
  then : 
  else mv Calendar.NEWER Calendar
fi

# propagate all changes:
chdir ..; rdist -f maint/Distfile