malcolm: Mon Oct 21 19:18:47 CEST 2002 Update of /usr/src/master/nhc/src/hat/trans In directory hinken:/tmp/cvs-serv2783 Modified Files: Flags.hs Log Message: In hat-trans, make a distinction between the real source file location (possibly in /tmp) and the name it should have (for naming directories, the transformed file, and the .hx file).