# utility library

$checkout   libpkg.a   ../
$update     libpkg.a
$checkin    libpkg.a   ../
$exit

libpkg.a:
	addcards.x
	dg_numbers.x  <ctype.h>
	sectime.x				   <time.h>
	;
