malcolm: Fri Jan 5 19:09:38 CET 2001 Update of /usr/src/master/nhc/script In directory hinken:/tmp/cvs-serv4038 Modified Files: nhc98.inst Log Message: Re-jig option-processing in the driver script. We need to allow options to be set per-file via OPTIONS pragmas, as well as globally for all files via the commandline.