Angus Leeming Tue, 19 Feb 2002 08:22:05 -0800
Lars, I've noticed that if I alter a header file in the support directory, then the files in the frontends directories affected by this are not re-made.
Angus
