#!/bin/csh -f # front-end for slatec.doc - log time and user name if ( -e /usr/local/bin/libdate ) then libdate -f /usr/spool/logs/slatec.log `logname` endif /usr/local/bin/Slatec.Doc exit